AP
beaconEggsChipsEggs (FriedEggs 42) упадётSize: a a a
2020 October 09
AP
Если хотите и именованные поля и перечисление, то нужно разделить на два типа
КР
поняв, пасиба
AP
BeaconEggsChips в виде рекорда, вложенный в перечисление завтраков
ЕП
Мне больно и смешно это говорить, мы не проходили. Нет ни у кого ссылочки на лекций по подобным темам хороших?
Вот в этой ветке на Stackoverflow помелькнуло: может вы уже и пользовались state machine, но не знали, что это она, простейший пример: https://stackoverflow.com/a/1371484/1758363
AP
Я вообще не знаю, зачем здесь машину состояний упомянули. Она была не в тему и я предлагаю про неё закончить трепаться
VB
Вот в этой ветке на Stackoverflow помелькнуло: может вы уже и пользовались state machine, но не знали, что это она, простейший пример: https://stackoverflow.com/a/1371484/1758363
Да, причём как оказалось, на постоянной основе
VB
Спасибо)
ДР
Ребят, задам ещё один вопрос, можете считать его троллингом :) , но что такое *тип функции*?
Ответ "множество допустимых значений" не канает.
Ответ "множество допустимых значений" не канает.
Oℕ
множество допустимых пар, такое что для каждого левого элемента пары есть только один возможный правый
Oℕ
krivorozha.jpg
JS
Ребят, задам ещё один вопрос, можете считать его троллингом :) , но что такое *тип функции*?
Ответ "множество допустимых значений" не канает.
Ответ "множество допустимых значений" не канает.
символ, который можно написать справа от ::
JS
Ребят, задам ещё один вопрос, можете считать его троллингом :) , но что такое *тип функции*?
Ответ "множество допустимых значений" не канает.
Ответ "множество допустимых значений" не канает.
тип не множество, конечно, это разные вещи
ДР
множество допустимых пар, такое что для каждого левого элемента пары есть только один возможный правый
Ребята, какое множество в absurd :) ? А между тем там тип void -> a
Oℕ
тип не множество, конечно, это разные вещи
ну иногда можно сопоставлять типы со множествами термов
ДР
Я как раз столкнулся с тем, что определение типа через множество неправильно.
ДР
символ, который можно написать справа от ::
👍
Oℕ
и не нужно определять тип через множество, определение типа - это часть определения языка
Oℕ
и тип функций - тоже
Oℕ
т.е. можете считать, что есть совершенно формальный синтаксис, и важно, как порождать термы, в типах которых этот тип появляется, и в которых исчезает