[Haskell] Re: Impredicative Types?

[Johannes Waldmann]

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/ ---------