I have a love/hate relationship with typeclasses
Conversation
Replying to
Sometimes I really just want a comfy module system with instance resolution sprinkled on top 🥺
Yessssssss
1
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.
2
2
Show replies