On Thu, 20 Sep 2007, PR Stanley <[EMAIL PROTECTED]> wrote: > \_ n -> 1 + n > \_ -> (\n -> 1 + n) > The outcome seems to be identical. is there a substantive difference > between the two definitions?
No, since you do not pattern match on the first argument. Otherwise, due to the way these definitions are translated into the core fragment of Haskell in the report, and the presence of seq, the two definitions can have observably different semantics. See "Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values", page 4. http://www.cs.chalmers.se/~nad/publications/danielsson-jansson-mpc2004.html -- /NAD _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
