Description
Jensen's device exploits call by name and side-effects. Call by name is an argument passing convention that delays the evaluation of an argument until it is actually used in the procedure (a consequence of the copy rule for procedures). Algol introduced call by name.
A classic example of Jensen's device is a procedure that computes the sum of a series, :
real procedure Sum(k, l, u, ak) value l, u; integer k, l, u; real ak; comment k and ak are passed by name; begin real s; s := 0; for k := l step 1 until u do s := s + ak; Sum := s end;In the procedure, the index variable k
and summation term ak
are passed by name. Call by name enables the procedure to change the value of the index variable during execution of the for
loop. Call by name also causes the ak
argument to be reevaluated during each iteration of the loop. Typically, ak
will depend upon the changing (side-effected) k
.
For example, code to compute the first 100 terms of a real array V
would be:
During the execution of Sum
, the actual argument i
will increment during each step of the for
loop, and each of the procedure's evaluations of ak
will use the current value of i
to access the successive array elements V
.
Jensen's device is general. A double summation can be done as:
Sum(i, l, m, Sum(j, l, n, A))The Sum
function can be employed for arbitrary functions merely by employing the appropriate expressions. If a sum of integers were desired the expression would be just Sum(i,1,100,i);
, if a sum of squares of integers, then Sum(i,1,100,i*i);
, and so on. A slight variation would be suitable for initiating a numerical integration of an expression by a method very similar to that of Sum
.
The evaluation of ak
is implemented with a thunk, which is essentially a subroutine with an environment. The thunk is a closure with no arguments. Each time a procedure needs the value of its formal argument, it simply calls the thunk. The thunk evaluates the actual argument in the scope of the calling code (not the scope of the procedure).
In the absence of this pass-by-name facility, it would be necessary to define functions embodying those expressions to be passed according to the protocols of the computer language, or to create a compendium function along with some arrangement to select the desired expression for each usage.
Read more about this topic: Jensen's Device
Famous quotes containing the word description:
“Once a child has demonstrated his capacity for independent functioning in any area, his lapses into dependent behavior, even though temporary, make the mother feel that she is being taken advantage of....What only yesterday was a description of the childs stage in life has become an indictment, a judgment.”
—Elaine Heffner (20th century)
“As they are not seen on their way down the streams, it is thought by fishermen that they never return, but waste away and die, clinging to rocks and stumps of trees for an indefinite period; a tragic feature in the scenery of the river bottoms worthy to be remembered with Shakespeares description of the sea-floor.”
—Henry David Thoreau (18171862)
“The next Augustan age will dawn on the other side of the Atlantic. There will, perhaps, be a Thucydides at Boston, a Xenophon at New York, and, in time, a Virgil at Mexico, and a Newton at Peru. At last, some curious traveller from Lima will visit England and give a description of the ruins of St Pauls, like the editions of Balbec and Palmyra.”
—Horace Walpole (17171797)