Re: Haskell 2 -- Dependent types?

[Lennart Augustsson]

> 2) Yes, I agree that the possibility that user-supplied type
> declarations can change the meaning of the program is a strike against
> the idea.
I don't find that so strange.  If there are no principal types
(which we can't hope for), then user added signatures can
have the effect of changing the meaning of a program.

BTW, Haskell already has this property.  There are programs that
yield different results depending on if you have a type signature
or not (and it's not because of the numeric defaulting).

   -- Lennart