Vladimir N. Dzhivsanoff wrote:
local X K M in
proc {X Y Z} ... end
K=1
M=2
{X K M}
end
How actual value K and M are passed into procedure X ?
When X is called, the parameters Y and Z denote the arguments of the
call. Semantically the call corresponds to a renaming of Y and Z by the
arguments:
2. Lexical renaming Y->K and Z->M ?
Can you tell me in what papers it is strictly defined ?
An early paper about Oz:
http://www.mozart-oz.org/papers/abstracts/volume1000.html
In the tutorial, it is stated that the procedure is equivalent to a
lambda expression (applying a lambda leads to argument substitution):
http://www.mozart-oz.org/documentation/tutorial/node5.html#label32
In the book http://www.info.ucl.ac.be/~pvr/book.html. An informal
definition of procedure application is given on page 66, and a more
formal one on page 792.
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
