That is because every other language conflates the notion of a class with a vtable smashed into every inhabitant of the class where everything has to be defined together in one monolithic definition.

You also can't write sensible Monads in those languages (Where does return go?) or retroactively define new classes and make existing types instances of it without controlling the source code to every instance.

On Fri, Apr 26, 2013 at 4:02 AM, Guy <guytsalmaves-h@yahoo.com> wrote:

Dan Doel wrote:

I don't really think they're worth saving in general, though. I haven't missed them, at least.

Maybe you haven't :-) My code is cluttered with redundant type contexts - I can't think of a similar redundancy in any other language.

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe