Я работаю над домашним заданием, где нас просят реализовать стратегию оценки под названием «позвонить по имени» на определенном языке, который мы разработали (используя Scheme).
Нам дали пример на Scala, но я не понимаю, как "вызов по имя» работает и чем оно отличается от «вызова по необходимости»?
Вызов по необходимости – это запомненная версия вызова по имени (см. википедию).
При вызове по имени аргумент оценивается каждый раз, когда он используется, тогда как при вызове по необходимости он оценивается при первом использовании, а значение записывается, чтобы впоследствии не нужно переоценивать.
Вызов по имени — это схема передачи параметров, в которой параметр оценивается при его использовании, а не при вызове функции. Вот пример на псевдо-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.
}
Выражение аргумента лениво оценивается при доступе с использованием текущих значений выражения аргумента.
Добавьте это к приведенным выше ответам:
;; 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.
delay и force - это r5rs? на самом деле, по крайней мере, как r3rs.
- person Nietzche-jou; 03.06.2010
