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
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-cafehttp://www.haskell.org/mailman/listinfo/haskell-cafe