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
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).