Size: a a a

Сообщество Scheme

2019 September 02

M

Meowbe/BSD-2-Clause in Сообщество Scheme
А chibi
источник

M

Meowbe/BSD-2-Clause in Сообщество Scheme
у которого как раз контекст есть
источник

PG

Pïg Grëënëst in Сообщество Scheme
Кек
источник

PG

Pïg Grëënëst in Сообщество Scheme
Я теперь понял, почему имакс на схеме до сих пор не дописали
источник

C

CC-BY-SA-4.0/Docker-ce27.1 in Сообщество Scheme
Ох
источник

C

CC-BY-SA-4.0/Docker-ce27.1 in Сообщество Scheme
Запутался в этих ваших скобках прастити
источник

AZ

Aydar Zarifullin in Сообщество Scheme
Меня в основном интересует возможность вызова scheme функций из C с параметрами которые тоже на сишной стороне. В чикене с этим непонятки.
источник

AZ

Aydar Zarifullin in Сообщество Scheme
Теперь уже пофиг на какой конкретно схеме. Хотя бы как пруф оф концепт
источник

PG

Pïg Grëënëst in Сообщество Scheme
Го гуль
источник

P

Paysho in Сообщество Scheme
(define zero (lambda (f) (lambda (x) x)))
я не могу понять почему эта процедура определена как 0.
Тоесть у нас, я так понимаю, процелура от f, которая процедура от x.
Но почему это значит 0?
источник

A

Aragaer in Сообщество Scheme
читать про числа черча
источник

A

Aragaer in Сообщество Scheme
буквально вчера или позавчера смотрел на ютубе лекцию, где это было изложено
источник

A

Aragaer in Сообщество Scheme
источник

A

Aragaer in Сообщество Scheme
часть 2 я чот не нашел
источник

P

Paysho in Сообщество Scheme
о надо же на русском даже
источник

A

Aragaer in Сообщество Scheme
точнее про целые числа лямбда-исчисления я в sicp раньше читал. А вот тут и про логические операции, и про структуры
источник

P

Paysho in Сообщество Scheme
кароч я так понял что суть в том что процедура zero ники не изменяет другие процедуры
источник

A

Aragaer in Сообщество Scheme
нет, не совсем
источник

A

Aragaer in Сообщество Scheme
целое число лямбда исчисления это функция, которая принимает "два аргумента" - функцию и аргумент для нее
источник

A

Aragaer in Сообщество Scheme
и результат это применить функцию к аргументу столько раз, сколько число
источник