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