Метавычисления осень 2018

Материал из CSC Wiki
Перейти к:навигация, поиск

Преподаватель: Березун Д. А. danya.berezun@gmail.com

Лекции

Задания

  • (Временно) Для сдачи задания надо отправить соответствующий файл/архив по адресу danya.berezun@gmail.com с темой "[hse_meta:task<порядковый номер задания>]<ФИО>"
  • Задание 1: реализовать (на Racket) интерпретатор бестипового лямбда-исчисления, реализующий стратегию вычислений call-by-value
ifthenelseOpY
  • Задание 2: реализовать интерпретаторы языков FlowChart и TM на языках Racket и FlowChart соответственно.
  • Задание 3: реализовать mix --- специализатор языка FlowChart на языке FlowChart; построить разбиение для mix, попытаться самоприменить mix, чтобы добиться второй проекции Футамуры, оценить результат.