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