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
Check out Idris2, maybe it fits your idea.
1
1
Replying to
Hmm, not sure it does? Idris 2 has a simple, Haskell style module system. The type classes are non-canonical, which is nice, but are not based on modules, and lack many things you get in languages like SML, OCaml, Futhark, Why3, MixML, etc.
Agda, on the other hand, does have first class modules with a sprinkling of typeclasses when you need them
2