1.1.6. Условные выражения и предикаты

Упражнение 1.5

Бен Битобор придумал тест для проверки интерпретатора на то, с каким порядком вычислений онработает, аппликативным или нормальным. Бен определяет такие две процедуры:

(define (p) (p))

(define (test x y)
    (if (= x 0)
        0
        y))

Затем он вычисляет выражение

(test 0 (p))

Какое поведение увидит Бен, если интерпретатор использует аппликативный порядок вычислений? Какое поведение он увидит, если интерпретатор использует нормальный порядок? Объясните Ваш ответ. (Предполагается, что правило вычисления особой формы if одинаково независимо от того,какой порядок вычислений используется. Сначала вычисляется выражение-предикат, и результат определяет, нужно ли вычислять выражение-следствие или альтернативу.)

Это упражнение завершили эти ребята:

  • Alfred Sorrow
  • Mikhail Rubashkin
  • Roman
  • IvanRomanoff
  • Aleksandr Serov
  • Stanislav Dzisiak
  • A. D.
  • timon1410

Комментарии отсутствуют.

Необходима авторизация

Вы должны авторизоваться для создания комментария.

Войти