RE: Implict parameters and monomorphism

[Simon Peyton-Jones]

|       a) That adding a type signature can change the dynamic semantics
|           of the program.  This would be the first and only 
| occurrence of
|           such behaviour.
| 
| At present, adding a type signature changes both the static 
| semantics and the cost of running a program 

That's true: but adopting (B) means that adding a type signature
may cause the program to print a different answer!  That seems
qualitiatively different to giving the same answer only slower or
faster;
or rejecting the program altogether.  Type signatures should specialise
a type -- which means that efficiency may increase, or that the program
may
no longer be typable, but surely it shouldn't change the answer!  

| Are you sure this second one really holds? I claim the 
| effects analysis is just type inference! 

Indeed it is.  I just don't want programmers to have to do type 
inference in their heads to figure out the meaning of the program.

Simon

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell