[Haskell-cafe] Is id strict?
dmhouse at gmail.com
Sun Jul 30 04:44:25 EDT 2006
I've seen two definitions of a 'strict function', which I'm trying to
unite in my mind:
1) f is strict iff f _|_ = _|_.
2) f is strict iff it forces evaluation of its arguments.
There is a large sticking point that in my minds seems to fit (1) but
not (2): id. Clearly, id undefined is undefined, but I also don't
think id forces evaluation of its argument. There was a
mini-discussion concerning this topic last night on #haskell, but if
there was a consensus conclusion, it passed me by.
Thanks in advance.
-David House, dmhouse at gmail.com
More information about the Haskell-Cafe