Do any languages other than haskell/agda have a hindley-milner type system and type classes?

Posted by Jimmy Hoffa on Programmers See other posts from Programmers or by Jimmy Hoffa
Published on 2012-11-06T20:54:08Z Indexed on 2012/11/06 23:18 UTC
Read the original article Hit count: 355

Filed under:
|
|

In pondering what gives Haskell such a layer of mental pain in becoming proficient the main thing I can think of are the Monads, Applicatives, Functors, and gaining an intuition to know how a list or maybe will behave in regards to sequence or alternate or bind etc.

But why haven't other languages presented these same concepts given the usefulness of monads/applicatives/etc?

It occurs to me, type classes are the key, so the question is: Have any languages other than Haskell/Agda actually implemented type classes in the same or similar way?

© Programmers or respective owner

Related posts about haskell

Related posts about agda