Delay_(programming)

In computer science, delayed evaluation is used in some programming languages to delay the evaluation on an expression until its value is needed.

Definition

The denotational semantics of programming languages can be used to provide a definition of futures: An expression of the form delay is defined by how it responds to an Eval message with environment E and customer C as follows: The delay expression sends C a newly created actor D which is a proxy for the value of the expression that has a body and an environment E that behaves as follows:

• When D receives a request R, then it checks to see if it has already received a return value from evaluating proceeding as follows:

1. If it already has a return value V, then V is sent the request R.
2. If it does not already have a return value then it sends an Eval message and stores the returned value in itself, then the returned value is sent the request R.