[Haskell] Re: Impredicative Types?

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Mon Feb 23 11:33:18 EST 2004

Ben Rudiak-Gould wrote:

> ... we can't even determine the meaning of a correct
> program without looking at explicit type signatures.

So what? Can we do this in other languages?
Do we want it? I think not.

The Haskell design (of type inference rather than type checking)
has the strange feeling of "our types are so strong that
you can completely avoid (writing) them".
To me, this seems contrary to sound software engineering.

-- Johannes Waldmann,  Tel/Fax: (0341) 3076 6479 / 6480 --
------ http://www.imn.htwk-leipzig.de/~waldmann/ ---------

More information about the Haskell mailing list