Size: a a a

2020 March 25

Т8

Т-34 85 in rust_offtopic
polunin.ai
Рисовать прямоугольники не разработка в принципе
Ладно, не самый подходящий пример, согласен.

Какая математика нужна при автоматизации какого-нибудь несложного документооборота? Даже алгоритмы сортировки и поиска можно либо из либ дёрнуть, либо нагуглить
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
какой тип задается уравнением y = 1 + x + x^2 + x^3+... ?
Хз
источник

G

Gymmasssorla in rust_offtopic
polunin.ai
В типикал прикладных программах нет
Either<T, U> - копродукт
источник

A

Agrailag in rust_offtopic
Alex Zhukovsky
короче люди которые гооврят что математика не нужна, а потом жалуются что их например обсчитали в магазине - выглядят не очень
плюсану, потому что я как раз из "неосиляторов" математики в универе, сейчас довольно страдаю с этим.

Понятно что суровая теоретическая математика не всем нужна, но ее прикладные разделы  - вполне
источник

AZ

Alex Zhukovsky in rust_offtopic
подумай, тут легко
источник

p

polunin.ai in rust_offtopic
Gymmasssorla
Either<T, U> - копродукт
источник

AZ

Alex Zhukovsky in rust_offtopic
плюсик это Either, умножение - тапл
источник

AZ

Alex Zhukovsky in rust_offtopic
она от этого не перестаёт ей быть
источник

AZ

Alex Zhukovsky in rust_offtopic
а когда ты об этом задумываешься можешь это использовать
источник

G

Gymmasssorla in rust_offtopic
+
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
плюсик это Either, умножение - тапл
Теперь ещё больше непонятно
источник

AK

Alexander Krivitskiy in rust_offtopic
Т-34 85
Странно, а @Psilon говорил, что плюсовики без проблем переходят на раст. А оказывается, не всё так просто
Ну синтаксис у него совсем для плюсовика не привычный. Я тогда про паттерн матчинг ничего не знал, про Deref coercions, и про разный синтаксический сахар. Для форов например.
источник

G

Gymmasssorla in rust_offtopic
polunin.ai
Теперь ещё больше непонятно
источник

p

polunin.ai in rust_offtopic
Мы разговаривали о чем-то странном. Что определяется под знанием математики?
источник

Т8

Т-34 85 in rust_offtopic
Alex Zhukovsky
написал тапл - математика. Пишешь связны список - математика
Давайте всё-таки под "математикой" подразумевать то, что не входит в школьный курс?

Ну, по крайней мере, я такой терминологии придерживаюсь. Понятное дело, что совсем без математики ничего не сделаешь. Разве что html накидаешь
источник

p

polunin.ai in rust_offtopic
Т-34 85
Давайте всё-таки под "математикой" подразумевать то, что не входит в школьный курс?

Ну, по крайней мере, я такой терминологии придерживаюсь. Понятное дело, что совсем без математики ничего не сделаешь. Разве что html накидаешь
Таплы входят в школьный курс? О.о
источник

AZ

Alex Zhukovsky in rust_offtopic
Т-34 85
Давайте всё-таки под "математикой" подразумевать то, что не входит в школьный курс?

Ну, по крайней мере, я такой терминологии придерживаюсь. Понятное дело, что совсем без математики ничего не сделаешь. Разве что html накидаешь
таплы и тип-суммы в школе? такого я точно не слышал
источник

Т8

Т-34 85 in rust_offtopic
polunin.ai
Таплы входят в школьный курс? О.о
Что такое "таплы"? Это тюплы? То есть, необобщённые массивы?
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
Что такое "таплы"? Это тюплы? То есть, необобщённые массивы?
Кортежи
источник

r

red75prime in rust_offtopic
red75prime
Из алгоритмически нетривиального: что вот эта реализация конечного автомата, соответствует вот этой схеме состояний, переходов и действий.
Основная сложность - внимательно перенести спецификацию в формальное описание. Так что идрис тут мало поможет.
источник