Haskell Typeclasses vs Ocaml Modules

I still haven’t fully grokked a good comparison here, how does one map onto another (if at all), what are the tradeoffs of one versus the other. On a similar note, how do I compare the tradeoffs of Higher-Kinded Types (Haskell) vs Higher-Polymorphic Types (OCaml)?

Found a bunch of stuff to read about this, but my head is no clearer. Maybe someone out there can explain it to me one day.

• Oleg Kiselyov’s take: Implementing, and Understanding Type Classes
• Stefan Wehr and Manuel Chakravarty: ML Modules and Haskell Type Classes
• A short HN discussion thread extract
• Some cons of type classes, on Reddit
• Modular Type classes (huh?) versus Modular Implicits
• Stack Overflow answer to OCaml’s closest counterpart

Tags: typed

« On Theorem proving and formal verification On consolidation, and next steps ... »