I have a love/hate relationship with typeclasses
Conversation
Sometimes I really just want a comfy module system with instance resolution sprinkled on top 🥺
2
11
Modular implicits then!
3
7
I want something like this, but based on full spectrum dependent types instead of a stratified module system, with some sort of opt-in phase distinction thingy like in cs.cmu.edu/~rwh/papers/mu 🤩
2
4
I haven't seen this one!
Also worth reading Dreyer's thesis: "Understanding and Evolving the ML Module System". It really is excellent, though I'm not sure it covers modular implicits
1
3
Alas, I have not read it but I hear it well-praised! IIUC it was authored well-before modular implicits were a thing though. From a quick look it also lists type classes under future work (p. 240).