Агата Сомова · старший инспектор
Писарь Вельского выбрал удачную букву, и смысл бумаги поменялся. Кто угодно может так сделать: имена пишет человек. Как Арбенина научила машину хранить имена, чтобы их нельзя было подменить?
Тимофей Ильич нашёл ответ на последних страницах блокнота: таблицу, где слева бланк записан с именами, а справа без единой буквы. Вместо там стоит . Так машина и хранит поручения внутри: в ней нет имён, которые можно перепутать, есть только адреса.
В уроке 44 мы определили подстановку без захвата, и в ней было неприятное место: «если мешает, переименуй связанную переменную в свежее имя». Человек выбирает свежее имя на глаз, программа должна его искать, и ошибиться легко. В этом уроке убираем имена совсем, и вместе с ними пропадает сама возможность захвата. Это глава 6 TAPL, и на этом представлении работает интерпретатор, который ты напишешь в боссе.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.