Всегда держите своих какодемонов хорошо увлажненными

Дискуссия в чатах, где ≥ 3 человек

Настроение дня: занимаюсь ФП на языке со структурной типизацей.

Да, я пишу в стиле Tagless Final на TypeScript. Это пиздец. Это ад, треш и содомия, потому что в языке нет нормальной поддержки HKT. Глубочайшее уважение и вечный респект Giulio Canti, который с помощью библиотеки fp-ts делает из тайпскрипта более-менее человеческий язык, но все равно — я несколько страдаю.

Решил для начала написать пример на фри монадах. Получилось как-то так. Всё-таки далеко тайпскрипту до выразительности хаскеля или хотя бы скалы, ой далеко.

Закончил работу над примером Tagless Final на тайпскрипте. Получилось короче, чем на фри монадах, но более замутно из-за необходимости дважды прописывать интерфейсы — один раз для HKT, один раз для Type.

Подытожу:

1. Главное различие фри монад и ТФ — фри монады описывают программу как данные (тип + инстанс типа), а ТФ — как выражение.
2. Оба этих стиля имеют право на жизнь в тайпскрипте, но это просто пиздец какой-то, а не программирование. Столько бойлерплейта ради сомнительного выхлопа.
3. В примерах это не отражено, но в ТФ проще комбинировать эффекты нескольких разных типов — например, если бы у меня был отдельный тип для работы с БД, отдельный для сетевых запросов, отдельный для логирования, я бы смог их комбинировать достаточно просто. Во фри монадах это сделать сложнее, зато в них проще «смотреть внутрь» значения и писать оптимизирующие интерпретаторы, чем в ТФ.

Я все равно буду продвигать оба этих стиля во фронтэнд как способ писать сложную, композируемую логику в безопасном и легко тестируемом стиле.
Такие дела.

Тот же самый TF, но уже на Scala. Как говорится, nuff said.

Звучит как план

Джон ДеГуз повторяет те же мысли, к которым пришел вчера я:
https://mobile.twitter.com/jdegoes/status/1059056721643991040