Тимофей Ильич · архивариус
Вот, полюбуйтесь. Шесть лет дела сдавали без Допуска, и ярлыки на уликах никто не ставил. А где стояли со старых времён, там их стёрли при пересдаче в архив. Восемьсот папок. Поручения целы, улики описаны, а какого они вида, не написано нигде. Допуск без ярлыков дело не примет. Переписывать всё вручную я не дам: у каждой карточки одно место, и место это не корзина.
Сомова листает первую папку. Поручение из блокнотного шифра: «возьми улику f, примени её к улике x, результат снова отдай f». На уликах ни слова о том, число это, «да/нет» или процедура.
«Ярлыки стёрли, а следы остались, говорит она. Если улику подали в succ, это число. Если её поставили условием в if, это „да/нет“. Если её к чему-то применили, это процедура. Улики сами рассказывают, какого они вида, по тому, что с ними делали». Задача урока: превратить эту мысль в алгоритм, который восстановит ярлыки на всех восьмистах папках и не ошибётся ни разу. TAPL посвящает этому главу 22.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.