3 ms·
Typeclasses play poorly with Modules. One is the picture of a global phenomenon and the other the essence of forsaking global phenomena. There's current work u
by tel 11y ago
Typeclasses play poorly with Modules. One is the picture of a global phenomenon and the other the essence of forsaking global phenomena.
There's current work under the name "modular implicits" to solve this problem, though.
- arto 11y agoFor those interested in modular implicits, see http://www.lpw25.net/ml2014.pdf http://www.lpw25.net/ml2014.pdf
- thinkpad20 11y agoBut there are a few languages that have both, such as Ur and Coq, and possibly others. Also, I know that there's work on a more powerful module system for Haskell called Backpack (although, I'm not really familiar with it). I agree that there are certain conceptual incompatibilities between the two as you mention, but they're both so useful that it seems like there must be good ways to bring them together, or at least make both of them available.