Комментарии 4
Приятно видеть публикации о fp-ts.
fp-ts реализует спецификацию FantasyLand и через нее очень интересно исследовать свойства сущностей fp-ts.
fp-ts - не столько библиотека, подобная lodash/ramda, реализующая type safe операции, сколько библиотека, рализующая сущности, которые связаны алгеброй в соответствии со спецификацией FantasyLand (перевод FantasyLand на русский)
TypeSafity - это приятный естественный побочный эффект корректной реализации алгебры.
Очень хорошие статьи и видео о fp-ts были у @YBogomolov :)
К большому сожалению они перестали быть доступными.
Душнила ответит: «Это моноид в категории эндофункторов», и будет абсолютно прав.
Трололо так ответит, а не душнила.
Вопросов появляется ещё больше: «Что такое моноид?», «Что такое категория?», «Что такое эндофунктор?».
Там главная подлость, что даже неплохо представляя ответы на все три этих вопроса, фразу эту фиг поймёшь. Прочитав "моноид в категории" я лично подумал о категории, содержащей единственный объект, а речь идёт о внешней структуре (https://ru.wikipedia.org/wiki/Моноидальная_категория).
Эта интересная библиотека реализует множество концепций из статически
типизированных функциональных языков семейства ML, таких так Haskell,
Ocaml и Scala.
Не знал, что Haskell является языком семейства ML. Очень познавательно. Ссылочкой не поделитесь откуда это следует?
Yet another введение в fp-ts. Часть 1. Эквивалентность и сравнимость