Types 23
Материал из Wiki - Факультет компьютерных наук
Версия от 11:10, 14 октября 2023; TurtlePU (обсуждение | вклад)
Содержание
Типы в языках программирования
Осенний курс по выбору для студентов 4 курса ПМИ ФКН ВШЭ.
Лектор и семинарист: Павел Соколов aka @TurtlePU.
Полезные ссылки
Лекции и семинары
- Лекция 1, 25 сен 2023. Организация курса; Формальные методы и теория типов; Язык IntBool. Запись.
- Семинар 1, 25 сен 2023. Денотационная и операционная семантики; Корректность системы типов языка IntBool. Запись.
- Лекция 2, 25 сен 2023. Preservation и progress теоремы; Лямбда-исчисление и его Тьюринг-полнота. Запись.
- Семинар 2, 2 окт 2023. Операционная семантика лямбда-исчисления; STLC. Запись.
- Лекция 3, 2 окт 2023. Теоретико-множественная семантика STLC; Алгебраические типы данных; Соответствие Карри-Говарда. Запись.
- Семинар 3, 2 окт 2023. Доказательства в интуиционистской логике через CHC; Оператор fix и натуральные числа в STLC. Запись.
- Лекция 4, 9 окт 2023. Оператор явной типизации; типизация параметров в STLC. Полиморфизм и System F; лямбда-куб. Запись.
- Семинар 4, 9 окт 2023. Система типов Хиндли-Милнера, часть 1. Запись.
- Лекция 5, 9 окт 2023. Система типов Хиндли-Милнера, часть 2. Запись.
Домашние задания
- ПДЗ-1 (практическое). TBA
- ТДЗ-1 (теоретическое). TBA
- ПДЗ-2 (практическое). TBA
- ТДЗ-2 (теоретическое). TBA
- ПДЗ-3 (практическое). TBA
Итоговая оценка за курс
Итог = Округление(0.1 ДЗ1 + )