4 ms·

> "the world's most advanced type system that no language can compete with so far." While I love Scala, I'm yet to see a better type system than Haskell's.

• lmm 13y ago
  In Haskell, typeclasses are special-cased and you can only have one implementation for a given type. In Scala, typeclasses arise naturally as a pattern out of more primitive building blocks, and are "just another type" that you can pass around and manipulate in ordinary ways.
  • eru 13y ago
    Yes. On the other hand, it's really easy to make a throw-away type in Haskell as a newtype wrapper.
    • lmm 13y ago
      Scalaz's @@ covers many of the use cases, though not all.
• eru 13y ago
  Try Agda.