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