[Haskell] -fno-monomorphism-restriction makes type-inference ambiguous?

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Mon Feb 27 10:42:32 EST 2006

Implicit parameters are *evil*. They seem to simplify programs
but they make reasoning about them much harder.

To an extent, they can be simulated with type classes,
because dictionaries are also implicit (you don't see them in the code
but you see them in the type declaration - same as for implicit parameters).

Of course reasoning about programs with typeclasses is hard as well,
but at least at the moment all instances (dictionaries) are global.
On the other hand, this also limits the usefulness of type classes.

In all, it's a design choice.
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------

More information about the Haskell mailing list