Hacker News Reader

"Classes are just records with additional functionality, which makes them into a haskell-style type classes."

But (IIUC) without coherence?

Good point, but never seen typeclass coherence with dependent types (in either Coq or the various versions of the Agda design). Not sure for Isabelle.

I'm not sure I can name another language with coherence, dependant types or not. To be fair, even GHC is half-hearted about it.

Reply on news.ycombinator.com