Tuesday, April 26, 2011

Strict function

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.

"f x = f 42" seems to be strict!

No comments:

Post a Comment