3 ms·
You can do this in Haskell as well, it's just clunkier since you usually end up needing some combo of MultiParamTypeClasses and plumbing around extra types. Th
by wyager 10y ago
You can do this in Haskell as well, it's just clunkier since you usually end up needing some combo of MultiParamTypeClasses and plumbing around extra types.
The ML approach is better for this use case, but the Haskell approach can do the same with a bit more verbosity.
- nv-vn 10y agoOf course, but at that point one could throw in OCaml extensions (modular implicits + HKTs) to provide the Haskell functionality to OCaml.