ГТ
Size: a a a
2020 April 05
ГТ
20к рублей в месяц дают проживающим расеянам за границей (но это не точно)
ГТ
я заполнил жду ответа )
ГТ
может вам кому тоже пригодится
AN
я заполнил жду ответа )
Ждите-ждите. Интересно, дождетесь ли
КР
КР
Мне больше понравился вариант с фри монадами. А что думают господа фпшники?
AN
Мне больше понравился вариант с фри монадами. А что думают господа фпшники?
а можно резюме?
КР
а можно резюме?
Достаточно сложно
AN
ну ладно. Влом сейчас смотреть
DS
Мне больше понравился вариант с фри монадами. А что думают господа фпшники?
Вариант с фри монадами имеет достаточно большой набор проблем.
Начиная от производительности (даже в хаскеле, где ещё можно попробовать его оптимизировать) и заканчивая композабельностью, где при объединении двух эффектов придется городить специалист тип их объединяющий
Начиная от производительности (даже в хаскеле, где ещё можно попробовать его оптимизировать) и заканчивая композабельностью, где при объединении двух эффектов придется городить специалист тип их объединяющий
DS
Ну и вариант с фри монадами требует к тому же некий набор бойлерплейта практически всегда, в FT его ощутимо меньше.
И FT позволяет легко использовать не только монады, но и любой другой тайпкласс для описания композиции действий: аппликативы, функторы, стрелки и т.д.
В то время как во Free варианте придется городить Free Applicative отдельный и т.п.
И FT позволяет легко использовать не только монады, но и любой другой тайпкласс для описания композиции действий: аппликативы, функторы, стрелки и т.д.
В то время как во Free варианте придется городить Free Applicative отдельный и т.п.
КР
Ну и вариант с фри монадами требует к тому же некий набор бойлерплейта практически всегда, в FT его ощутимо меньше.
И FT позволяет легко использовать не только монады, но и любой другой тайпкласс для описания композиции действий: аппликативы, функторы, стрелки и т.д.
В то время как во Free варианте придется городить Free Applicative отдельный и т.п.
И FT позволяет легко использовать не только монады, но и любой другой тайпкласс для описания композиции действий: аппликативы, функторы, стрелки и т.д.
В то время как во Free варианте придется городить Free Applicative отдельный и т.п.
Final tagless тоже не идеальный. Вот тут чувак хорошо рассказал
https://youtu.be/u1GGqDQyGfc
https://youtu.be/u1GGqDQyGfc
DS
Final tagless тоже не идеальный. Вот тут чувак хорошо рассказал
https://youtu.be/u1GGqDQyGfc
https://youtu.be/u1GGqDQyGfc
Вот Гранина не надо слушать
DS
Реакция аудитории там все говорит о том как народ относится к подходу с фри монадами
ML
С появлением папок в телеграме появилась и моя любимая бага вк – ненулевой счетчик непрочитанных, хотя все чаты в папке просмотрены
DS
Final tagless тоже не идеальный. Вот тут чувак хорошо рассказал
https://youtu.be/u1GGqDQyGfc
https://youtu.be/u1GGqDQyGfc
Фри монады многие успели в реальности попробовать, в той же скала экосистеме они были популярны до FT.
И проблема (кроме производительности) именно в бойлерплейте, которой постоянно идёт рядом с этим подходом.
В результате за фри монады сейчас топит только Гранин, в то время как в скале почти все перешли на FT, а в хаскеле считай всё более-менее стандартное живёт на нём
И проблема (кроме производительности) именно в бойлерплейте, которой постоянно идёт рядом с этим подходом.
В результате за фри монады сейчас топит только Гранин, в то время как в скале почти все перешли на FT, а в хаскеле считай всё более-менее стандартное живёт на нём
DS
Ну и про FT советую оригинальные статьи Олега Киселева, они достаточно важны, если хочется понимания темы