23 Oct
2001
23 Oct
'01
10:04 a.m.
John Hughes wrote: | I noticed today that the presence or absence of a type | signature can change the RESULT of an expression in | Hugs and GHC nowadays. This has been a property of the Haskell language since the defaulting mechanism already! Here is an example: a = let x = 1 in show x -- == "1" b = let x :: Float ; x = 1 in show x -- == "1.0" | Now, what are the proof rules for reasoning about | implicit parameters again (:-)? Now, what are the proof rules about Haskell again :-(? /Koen.