простите, но тайпклассы — это именно специальный полиморфизм
https://en.wikipedia.org/wiki/Type_class

потому что позволяет разные реализации иметь

Если базируется на алгебраических структурах, то ничего "специального" нет. Но если кодата имеет "customMethod", то соглашусь

с чем тут соглашаться? специальный (ad hoc) полиморфизм — это не мнение, а термин

То есть он в хаскеле есть. Верно?

да

Классы типов сойдут за перегрузку, я думаю

Выглядит как спам

Я китайский не разумею

Цифры напиши

пасаны, хочется попробовать фп в тайп скрипте, может ченить затащить на прод (очень наверно 🙂)

какие либы обычно юзают для этого? скажем, если проект новый, типа классические решения

fantasyland, возможно

еще можно посмотреть на fp-ts, effect-ts

Прочитайте https://habr.com/ru/post/526024
Очень доходчиво (но сам я фп-тс не использую)

Дальше http://www.tomharding.me/fantasy-land/ (но тут без тс - чистый джс на фантази) - есть серия видео. Там чувак на основании книги Тома Хардинга по fantasy-land повторяет весь код на fp-ts
https://www.twitch.tv/videos/1044661822
Если глубже в теорию, то можно Introduction to functional programming - John Harrison (там про лямбда-исчисление).

Ещё хорошее видео на джс есть для начинающих https://youtu.be/3VQ382QG-y4

А мне вполне хватает использовать кодату на ТС
https://www.javiercasas.com/articles/codata-in-action

Спасибо!

ну вот это вот всерьез ,да? TS?

Ну, человек спросил про ТС - а у меня список ссылок под рукой уже был)

Устим 4931