Агата Сомова · старший инспектор
Мэрия дала нам один день. Если Допуск покажет себя на архиве, его включат обратно, если нет, забудут ещё на шесть лет. Восемьсот папок, дело склада первым. Собери Допуск целиком, по всем правилам блокнота, и запускай. Я хочу видеть каждую папку, которую он не пропустит, и знать почему.
Восемь уроков ты разбирал Допуск по частям. Ярлыки для чисел и «да/нет», обещание Кодекса из двух половин, ярлыки для поручений, лемма подстановки, папки и описи, поручения без «повторяй вечно», восстановление стёртых ярлыков и общие процедуры. Сегодня части собираются в одну машину, и её проверяют на настоящем архиве.
Босс состоит из двух задач на Haskell. Первая собирает Допуск, вторая учит его восстанавливать ярлыки, которые стёрли за шесть лет. После этого на первой странице Кодекса проявится последний блок значков.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.