l
knet> ERROR: Unbound variable: перевод
Size: a a a
2020 March 18
ХЛ
(define suc (lambda (n) (lambda (f) (lambda (x) (f ((n f) x))))))
l
knet> ;Value: suc
AK
Или в ядро надо пихать?
По сути, тебе нужно уметь запускать функции на этапе компиляции (ну или перед интерпретацией)
AP
Про это целая книжка - Lisp in small peices
Ну это они там грамотный eval делают
ХЛ
(define +1 (lambda (x) (+ x 1)))
l
knet> ;Value: +1
AK
Ну это они там грамотный eval делают
Ну вот тебе тоже придётся)
A
(define add (lambda (f g) (lambda (x) (f (g x)))))
l
knet> ;Value: add
ХЛ
(define ev-num (lambda (n) ((n +1) 0)))
l
knet> ;Value: ev-num
AP
Ну вот тебе тоже придётся)
Ну да, вопрос только в том, хватит ли текущих рычагов для такого эвала )
A
(((add (suc zero) (suc zero)) +1) 0)
ХЛ
(ev-num (suc zero))
l
knet> ;Value: 1
l
knet> ;Value: 1
A
хм, я криво определил add видимо
ХЛ
(define add (lambda (a b) ((a suc) b)))
l
knet> ;Value: add