Word:

call-by-need

(reduction)call-by-need - A reduction strategy which delays evaluation of function arguments until they are needed because they are arguments to a primitive function or a conditional. Call-by-need is one part of lazy evaluation.

The term first appears in Chris Wadsworth's thesis "Semantics and Pragmatics of the Lambda calculus" (Oxford, 1971, p. 183). It was used later, by J. Vuillemin in his thesis (Stanford, 1973).
Browse
call off
call on
call on the carpet
call one's bluff
call option
call out
call the shots
call the tune
call to order
Call to the bar
Call Unix
call up
call waiting
call-back
call-board
call-by-name
-- call-by-need --
call-by-reference
call-by-value
call-by-value-result
call-in
Call-Level Interface
call-out
call-with-current-continuation
call/cc
Calla
calla lily
Calla palustris
callable
Callas
Callat
callathump
callback
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home