Что такое «Позвонить по имени»? - PullRequest
Новая
       57

Что такое «Позвонить по имени»?

15 голосов
/ 03 июня 2010

Я работаю над домашним заданием, в котором нас просят реализовать стратегию оценки под названием «звонок по имени» на определенном языке, который мы разработали (используя Схему).

Нам дали пример в Scala , но я не понимаю, как работает «звонок по имени» и чем он отличается от «звонка по необходимости»?

Ответы [ 3 ]

26 голосов
/ 03 июня 2010

Call-by-need - запомненная версия call-by-name (см. wikipedia ).

В вызове по имени аргумент оценивается каждый раз, когда он используется , тогда как в вызове по необходимости он оценивается при первом использовании, а значение записывается таким впоследствии его не нужно переоценивать.

11 голосов
/ 03 июня 2010

Вызов по имени - это схема передачи параметров, в которой параметр оценивается при его использовании, а не при вызове функции. Вот пример в псевдо-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.
}

Выражение аргумента лениво оценивается при обращении с использованием текущих значений выражения аргумента.

2 голосов
/ 03 июня 2010

Добавьте это к ответам выше:

Работа через раздел SICP в Streams . Это дает хорошее объяснение как по имени, так и по требованию. Также показано, как реализовать те, что в Схеме. Кстати, если вы ищете быстрое решение, вот базовый вызов по потребности, реализованный в схеме: 

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