Operationally, a strict function is one which always evaluates its argument, a non-strict function is one which may not evaluate some of its arguments. Functions having more than one parameter may be strict or non-strict in each parameter independently, as well as jointly strict in several parameters simultaneously.
http://en.wikipedia.org/wiki/Strict_function
"f x = f 42" seems to be strict!
No comments:
Post a Comment