Практика 3. Типы в λ-исчислении
Простые типы, правила типизации, системы Карри и Чёрча, население типов.
Перед занятием
λ-исчисление и рекурсия из практик 1–2.
Самостоятельная работа
Откройте версию «По шагам» и попробуйте ответить на вопрос или решить задачу до следующего клика. Обычная версия слайдов и PDF подходят для повторения.
Листок упражнений — один двусторонний лист A4 с условиями и местом для записей.
Условия домашнего задания и инструкции по работе находятся в README по кнопке «Домашнее задание».
← Предыдущее занятие: Рекурсия в λ-исчислении · Следующее занятие →: Введение в Haskell