4.1.2 · Управление как часть смысла

Специальные формы и выбор вычисляемого

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

Вопрос для размышления

Что пойдет не так, если вычислитель вычислит обе ветви if?

Распознавание синтаксиса с собственным правилом вычисления
Вычисление предиката перед выбором ветви
Наблюдение за тем, что невыбранное выражение не выполняет работы

Случай if сначала вычисляет только предикат. Затем он вызывает evaluate либо для следствия, либо для альтернативы, но никогда для обоих.

В первом примере альтернатива делит на ноль. Программа все равно возвращает 60, так как истинный предикат выбирает ветвь сложения, а некорректная альтернатива остается данными выражения.

Код SICP975 из 1,048,576 байт UTF-8

(begin
  (define (lookup name environment)
    (cdr (assoc name environment)))
  (define (evaluate expression environment)
    (cond ((number? expression) expression)
          ((symbol? expression) (lookup expression environment))
          ((eq? (car expression) 'if)
           (if (evaluate (cadr expression) environment)
               (evaluate (caddr expression) environment)
               (evaluate (cadddr expression) environment)))
          ((eq? (car expression) '<)
           (< (evaluate (cadr expression) environment)
              (evaluate (caddr expression) environment)))
          ((eq? (car expression) '+)
           (+ (evaluate (cadr expression) environment)
              (evaluate (caddr expression) environment)))
          ((eq? (car expression) '/)
           (/ (evaluate (cadr expression) environment)
              (evaluate (caddr expression) environment)))))
  (evaluate '(if (< score 60) (+ score 5) (/ 1 0))
            '((score . 55))))

Примеры

Результат—

Вывод: —
Значение: —
Диагностика: —

Трасса выполнения0 / 0 событий

Ожидаемый результат

Первая программа возвращает 60 без вычисления деления на ноль.

На что обратить внимание в трассе

После того как сравнение на меньше вернет true, проследите за вычислением в ветви сложения. В этом запуске не появляется применение деления.

Попробуйте сами

Измените программу и сравните результат.

Измените score на 70 и замените альтернативу на score. Предскажите, какую ветвь посетит evaluate.

Показать подсказку

Базовый if внутри evaluate обеспечивает соблюдение правила вычисления для интерпретируемого if.

Завершить этот урок

В этой главе пройдено 0 из 23 урока0%