AT
"В заключении я хотел бы упомянуть об алюминии." (с) Н. Бор
Size: a a a
2020 May 21
AT
@qnikst должен знать)
AR
Вопросы можно продолжать задавать
В продакшен какой вариант фримонад используется?
AR
Church-encoded или из пакета free?
АГ
В продакшен какой вариант фримонад используется?
Church в хаскельном мире и NoRemorse в Пьюр Скрипте. Не знаю, есть ли что-то общее между NoRemorse и Church
АГ
Church-encoded или из пакета free?
Church encoded из пакета free
AR
А improve на каком этапе применяется? То есть, все сначала описывается обычной фримонадой и только потом где импрув делается или как-то по-другому?
АГ
А improve на каком этапе применяется? То есть, все сначала описывается обычной фримонадой и только потом где импрув делается или как-то по-другому?
Не, сразу всё в тип F (church encoded free monad) заворачивается, который сделан не так, как Free
АГ
improve я не уверен, чтобы там где-то делался
АГ
Я пробовал сам его вызывать, что-то не пошло
AR
Не, сразу всё в тип F (church encoded free monad) заворачивается, который сделан не так, как Free
Это я знаю, что это другая монада. Там функтора, по идее, даже не нужно.
АГ
Это я знаю, что это другая монада. Там функтора, по идее, даже не нужно.
Да, не нужно
АГ
(Я подзабыл уже, нужно или нет)
АХ
Это не повод заниматься преждевременной пессимизацией!
Семантика разная. Атомный апдейт структуры vs клнкуретный апдейт полей. И не дай бог надо будет теребить обе
2020 May 22
JS
Семантика разная. Атомный апдейт структуры vs клнкуретный апдейт полей. И не дай бог надо будет теребить обе
можешь раскрыть мысль? что для каждой из этих ситуаций лучше и почему?
АГ
Привет! Давайте выясним, насколько вчерашний лайв кодинг был понятен.
YS
Я почти всё понял, кроме фримонад)
АГ
Ну ими легко пользоваться, когда шаблон есть
АГ
Я и не вдавался в подробнотси
YS
Возможно, есть смысл рассказать азы, что такое монады с точки зрения разработки и как с ними работать