3 ms·
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.
by yawaramin 9y ago
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 9y agoUp 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.