Skip to content

Instantly share code, notes, and snippets.

View vsyrovat's full-sized avatar

Valentin Syrovatskiy vsyrovat

View GitHub Profile
@maksimr
maksimr / evaluate-model.lisp
Created March 21, 2014 14:09
Аппликативный и нормальный порядки вычисления
; Аппликативный и нормальный порядки вычисления
;
; «полная подстановка, затем редукция» известен под на-
; званием нормальный порядок вычислений (normal-order evaluation)
;
; Пример работы нормального порядка вычисления
; Последовательность подстановок
; (sum-of-squares (+ 5 1) (* 5 2))
; (+ (square (+ 5 1)) (square (* 5 2))
; (+ (* (+ 5 1) (+ 5 1)) (* (* 5 2) (* 5 2)))