Раздел 44 · Логика и типы

Структурные правила: что будет, если их убрать

senior~25 мин

без входаВойди, чтобы отмечать прогресс, вести заметки и решать задачи в редакторе. войти

Агата Сомова · письмо, приложенное к командировочному листу

Дело Арбитра закрыто, и Монетный двор просит у нас человека. Их Касса построена учениками Арбениной на правилах того же Кодекса, и она третий месяц сходится с ошибкой. Там завёлся кто-то, кого счетоводы зовут Двойником: одна его монета оплачивает две покупки. Касса при этом печатает «выводится». Найди правило, которое это разрешает.

Монетный двор встречает тебя запахом горячего металла. Счетовод Ефим Карпович, сухой человек в нарукавниках, кладёт перед тобой ленту Кассы. На ленте одна строка:

Он объясняет: «Слева то, что покупатель положил на прилавок, справа то, что он унёс. Здесь слева одна монета, справа две покупки по монете. Касса говорит, что это законно. Я тридцать лет считаю монеты, и монета не берётся из воздуха. Либо Касса врёт, либо в ней есть правило, которого я не вижу».

Правило есть. Сегодня ты найдёшь целых три правила, которые логика из первой части курса применяла молча, и увидишь, что будет, если каждое из них вынуть.

урок из курса

Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.

Оплата пока не подключена: премиум и курсы открываются промокодом.