This media is not supported in your browser
VIEW IN TELEGRAM
Дискуссия в чатах, где ≥ 3 человек
Настроение дня: занимаюсь ФП на языке со структурной типизацей.
Да, я пишу в стиле Tagless Final на TypeScript. Это пиздец. Это ад, треш и содомия, потому что в языке нет нормальной поддержки HKT. Глубочайшее уважение и вечный респект Giulio Canti, который с помощью библиотеки fp-ts делает из тайпскрипта более-менее человеческий язык, но все равно — я несколько страдаю.
Да, я пишу в стиле Tagless Final на TypeScript. Это пиздец. Это ад, треш и содомия, потому что в языке нет нормальной поддержки HKT. Глубочайшее уважение и вечный респект Giulio Canti, который с помощью библиотеки fp-ts делает из тайпскрипта более-менее человеческий язык, но все равно — я несколько страдаю.
GitHub
gcanti - Overview
mathematician and rock climber. gcanti has 79 repositories available. Follow their code on GitHub.
Решил для начала написать пример на фри монадах. Получилось как-то так. Всё-таки далеко тайпскрипту до выразительности хаскеля или хотя бы скалы, ой далеко.
Gist
Free monads example with fp-ts
Free monads example with fp-ts. GitHub Gist: instantly share code, notes, and snippets.
Закончил работу над примером Tagless Final на тайпскрипте. Получилось короче, чем на фри монадах, но более замутно из-за необходимости дважды прописывать интерфейсы — один раз для HKT, один раз для Type.
Gist
Tagless Final example with fp-ts
Tagless Final example with fp-ts. GitHub Gist: instantly share code, notes, and snippets.