什么是“按名称呼叫”？

Question

我正在做一个家庭作业，我们被要求实施一种名为“按姓名打电话”的评估策略，并使用我们开发的某种语言（使用Scheme）。

我们获得了example in Scala，但我不明白“名称呼叫”是如何工作的以及它与“按需呼叫”有何不同？

Answer 1

按需呼叫是按名称的备忘录版本（请参阅wikipedia）。

在名称调用中，每次使用时，参数的评估值为，而在需要调用时，首次使用该参数时会进行评估，并记录该值以便随后需要不被重新评估。

Answer 2

通过名称调用是一种参数传递方案，其中参数在使用时进行评估，而不是在调用该函数时评估。这是伪C中的一个示例：

int i; 
char array[3] = { 0, 1, 2 }; 

i = 0; 
f(a[i]); 

int f(int j) 
{ 
    int k = j; // k = 0 
    i = 2;  // modify global i 
    k = j;  // The argument expression (a[i]) is re-evaluated, giving 2. 
} 

当使用参数表达式的当前值进行访问时，参数表达式会被延迟评估。通过SICP section on Streams

工作：

Answer 3

此添加到上述答案。它给出了名称和按需呼叫的很好解释。它还展示了如何在Scheme中实现这些功能。顺便说一句，如果你正在寻找在这里一个快速的解决方案是一个基本呼叫按需要在方案实施：

;; Returns a promise to execute a computation. (implements call-by-name) 
;; Caches the result (memoization) of the computation on its first evaluation 
;; and returns that value on subsequent calls. (implements call-by-need) 
(define-syntax delay 
    (syntax-rules() 
     ((_ (expr ...)) 
     (let ((proc (lambda() (expr ...))) 
      (already-evaluated #f) 
      (result null)) 
     (lambda() 
      (if (not already-evaluated) 
       (begin 
       (display "computing ...") (newline) 
       (set! result (proc)) 
       (set! already-evaluated #t))) 
      result))))) 

;; Forces the evaluation of a delayed computation created by 'delay'. 
(define (my-force proc) (proc)) 

样品运行：

> (define lazy (delay (+ 3 4))) 
> (force lazy) 
computing ... ;; Computes 3 + 4 and memoizes the result. 
7 
> (my-force lazy) 
7 ;; Returns the memoized value.