3 ms·
Elm's extensible records are more powerful than even what Evan is willing to encourage. You can use them to implement type classes as well as first class module
by sriku 11y ago
Elm's extensible records are more powerful than even what Evan is willing to encourage. You can use them to implement type classes as well as first class modules, albeit with a bit of extra typing (ahem). They even permit you to have multiple "instances" for the same type if you require that.
- agrafix 11y agoThe problem is that it will not work for higher kinded types as that's not supported in Elm. You can not define a functor, a monad, ...