[Haskell-cafe] Is id strict?

David House dmhouse at gmail.com
Sun Jul 30 04:44:25 EDT 2006

Hi all.

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 mailing list