You can get close enough to HKT with OCaml that you don't really feel any pain t... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

yawaramin on April 21, 2018 | parent | context | favorite | on: Towards Scala 3

You can get close enough to HKT with OCaml that you don't really feel any pain there. We have our share of generic monad libraries.

lmm on April 21, 2018 [–]

Up to a point. I had a look and an implementation of traverse is already getting pretty cumbersome, and something like recursion-schemes seems beyond what anyone's even attempted.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact