Re: Jensen's device

[snip]


)The simplicity of call-by-name is still a reality. The theory of
)call-by-value (and call-by-reference) lags behind that of call-by-name
)by decades and, even when the theories are discovered, we find that
)they are a lot more complicated than the corresponding theories for
)call-by-name. Thus, call-by-name lives, at least in theory if not in
)real languages.


[snip]


You seem to be trying to support call by name. Are you aware that it has
been proven that no routine to swap its arguments can be written using
call by name? I.E. in C one could write


void Swap(int *Arg1,int *Arg2) {
int Temp;


Temp = *Arg1;
*Arg1 = *Arg2;
*Arg2 = Temp;
}


But this is not possible using call by name.


Mike
--

Return to the comp.compilers page.
Search the comp.compilers archives again.