YS
В остальном - всё верно
Size: a a a
2020 May 18
AT
Конструктор типа*
не очень понял уточнение.
YS
>> "монада" это всего лишь тип
Конструктор типа)
Конструктор типа)
AT
Maybe = N | J x
монада мейби, конструкторы N и J
монада мейби, конструкторы N и J
YS
Maybe = N | J x
монада мейби, конструкторы N и J
монада мейби, конструкторы N и J
Maybe Что_то
YS
Maybe - конструктор типа
AT
а, ну да
AT
все, въехал
YS
Maybe что_то - тип
YS
все, въехал
Оке)
AT
спасибо!
A
Maybe - конструктор типа
Maybe же не конструктор..
YS
Maybe же не конструктор..
Мм? Не конструктор типа?
MK
Maybe же не конструктор..
конструктор типа, а не данных
YS
Вроде вполне себе конструктор типа
D
мейби уже стал монадой
это уже внутричатовый мем какой-то
BK
Я человека отправил книжки читать)
В данный момент и книжки читаю, и в интернете смотрю, и советы принимаю, и на практике пробую :)
За любые мало-мальски конструктивные ответы благодарен :)
По <- идею понял, речь идёт о направлении потока данных, но его ещё надо грамотно принять.
Насчёт теории согласен - не всё ещё понимаю.
Ищу хорошие примеры, так как пока не получилось.
За любые мало-мальски конструктивные ответы благодарен :)
По <- идею понял, речь идёт о направлении потока данных, но его ещё надо грамотно принять.
Насчёт теории согласен - не всё ещё понимаю.
Ищу хорошие примеры, так как пока не получилось.