M
А chibi
Size: a a a
2019 September 02
M
у которого как раз контекст есть
PG
PG
Я теперь понял, почему имакс на схеме до сих пор не дописали
C
Запутался в этих ваших скобках прастити
AZ
А chibi
Меня в основном интересует возможность вызова scheme функций из C с параметрами которые тоже на сишной стороне. В чикене с этим непонятки.
AZ
Теперь уже пофиг на какой конкретно схеме. Хотя бы как пруф оф концепт
PG
Го гуль
P
(define zero (lambda (f) (lambda (x) x)))
я не могу понять почему эта процедура определена как 0.
Тоесть у нас, я так понимаю, процелура от f, которая процедура от x.
Но почему это значит 0?
я не могу понять почему эта процедура определена как 0.
Тоесть у нас, я так понимаю, процелура от f, которая процедура от x.
Но почему это значит 0?
A
читать про числа черча
A
буквально вчера или позавчера смотрел на ютубе лекцию, где это было изложено
A
часть 2 я чот не нашел
P
о надо же на русском даже
A
точнее про целые числа лямбда-исчисления я в sicp раньше читал. А вот тут и про логические операции, и про структуры
P
кароч я так понял что суть в том что процедура zero ники не изменяет другие процедуры
A
нет, не совсем
A
целое число лямбда исчисления это функция, которая принимает "два аргумента" - функцию и аргумент для нее
A
и результат это применить функцию к аргументу столько раз, сколько число