Re: [Haskell] Re: Impredicative Types?

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