3 May
2001
3 May
'01
9:33 a.m.
Simon Peyton-Jones wrote:
John: just to check, you do realise that (B) means
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.
Not so, there are already Haskell program that give a different results with and without type signatures. -- Lennart