Тимофей Ильич · архивариус
Первую половину блокнотов вы прочли: черты, правила, шаги машины. А дальше, со сто двенадцатой страницы, ни одного слова. Буква λ, точки, скобки, и так до конца. Арбенина писала здесь поручения машине. Вот первая строка:
λx. x. Что она поручила?
Твой вычислитель из босса G воспроизвёл зависание: дело склада застряло на succ true. В поле «сколько ящиков недостаёт», где машина ждёт число, стоит «да/нет», и заполнено это поле по доверенности, которую приложила к делу контора Вельского. Доверенность на перфоленте записана тем же шифром, что вторая половина блокнотов.
Прочитать доверенность нельзя, пока не прочитан шифр. Шифр Арбениной это λ-исчисление, самый маленький язык программирования на свете. В нём три вида записей, и этого хватает, чтобы записать любое вычисление. В этом уроке учимся читать эти записи и вычислять их руками.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.