4 ms·
For a discussion on combining the benefits of modules with type classes, see "Modular Type Classes"; If I were to implement a language with similar features tod
by JoelMcCracken 3y ago
For a discussion on combining the benefits of modules with type classes, see "Modular Type Classes"; If I were to implement a language with similar features today, I would certainly use it.
https://www.cs.cmu.edu/~rwh/papers/mtc/full.pdf https://www.cs.cmu.edu/~rwh/papers/mtc/full.pdf
- hajile 3y agoI love the idea because it makes typeclasses possible, but not super-easy which means devs will be discouraged from making Haskell's typeclass soup.