Типизированная арифметика: ярлык на каждой улике

Агата Сомова · старший инспектор

Вчера мы прочли только первую строку страницы «Допуск», той, что сразу за страницей про доверенность. Под «каждой улике ярлык» семь правил с чертой. Я сказала, что Допуск не принял бы ленту склада. Пока это мнение. Хочу знать, что именно проверяла машина и где дело склада не прошло бы проверку.

Доверенность Вельского разоблачена: имя в ней было захвачено чужим определением, и машина прочитала документ не так, как его подписывали. Но поддельная доверенность объясняет только, как дело попало в машину. Почему машина на нём застряла, ты знаешь с блока G: в поле, где ждали число, стояло «да/нет», и вычисление уткнулось в терм вида succ true.

Страница «Допуск» отвечает на вопрос, который остался: можно ли было поймать это дело до запуска, не вычисляя его. Арбенина утверждает, что можно, и даёт правила. В этом уроке ты их прочтёшь, научишься строить по ним деревья и увидишь, где дело склада ломается.