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 🤩