s*****m
发帖数: 2024 | | G*O
发帖数: 706 | 2 I don't know.
but you can read this
[edit] Call by name
Call-by-name evaluation is rarely implemented directly, but frequently used
in considering theoretical properties of programs and programming languages.
In call-by-name evaluation, the arguments to functions are not evaluated at
all -- rather, function arguments are substituted directly into the
function body using capture-avoiding substitution. If the argument is not
used in the evaluation of the function, it is never evaluated; if the
arg
【在 s*****m 的大作中提到】
: thanks
|
|
