l
knet> ;Value: false
Size: a a a
2020 March 18
A
/me хочет сделать арифметику черча, но лень
AP
Про это вроде же первое же упражнение в SICP 😅
не, там if только особой формой надо, остальное можно на костылях )
A
ну да, можно, но and в таком виде не получится
ХЛ
/me хочет сделать арифметику черча, но лень
А что ее делать?
A
потому что в записи (and x y) произойдет вычисление обоих аргументов
AK
не, там if только особой формой надо, остальное можно на костылях )
А, припоминаю, and можно сделать цепочкой из if-ов, но это тогда макросы нужны)
A
да, или макросы
AP
потому что в записи (and x y) произойдет вычисление обоих аргументов
а, ну да
ХЛ
(define zero (lambda (f) (lambda (x) (f x))))
l
knet> ;Value: zero
AP
Кстати, а как на том что есть макросы реализовать? )
A
эм, нет, это единица же
ХЛ
эм, нет, это единица же
Ну да..
ХЛ
(define zero (lambda (f) (lambda (x) x)))
l
knet> ;Value: zero
AP
Кстати, а как на том что есть макросы реализовать? )
Или в ядро надо пихать?
AK
Или в ядро надо пихать?
this
AK
Или в ядро надо пихать?
Про это целая книжка - Lisp in small peices
AK
(перевод есть)