Co to jest "Call By Name"?

Question

Pracuję nad zadaniem domowym, w którym jesteśmy proszeni o wdrożenie strategii oceny zwanej "call by name" w pewnym języku, który opracowaliśmy (używając Schematu).

Otrzymaliśmy example in Scala, ale nie rozumiem, jak działa "połączenie według nazwy" i jak to się różni od "połączenia przez potrzebę"?

Answer 1

Call-by-need jest pamiętną wersją nazwy wywoławczej (patrz wikipedia).

W wywołaniu nazwa argument jest oceniany za każdym razem, gdy jest używany, podczas gdy w razie potrzeby jest oceniany przy pierwszym użyciu, a wartość rejestrowana, aby następnie potrzebować nie podlega ponownej ocenie.

Answer 2

Wywołanie za pomocą nazwy jest parametrem przekazującym schemat, w którym parametr jest oceniany, gdy jest używany, a nie, gdy wywoływana jest funkcja. Oto przykład pseudo-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. 
} 

Wyrażenie argument leniwie oceniano dostęp uzyskać bieżące wartości ekspresji argumentów.

Answer 3

Dodaj to do powyższych odpowiedzi:

pracy poprzez SICP section on Streams. Daje dobre objaśnienie zarówno nazwy wywoławczej, jak i połączenia telefonicznego. Pokazuje również, jak wdrożyć te w Schemacie. BTW, jeśli szukasz szybkiego rozwiązania Oto podstawowe call-by-potrzeby realizowanego na schemacie:

;; 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)) 

Trasa próbki:

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