Типы в языках программирования весна 2018 — различия между версиями
Материал из SEWiki
Moskvin (обсуждение | вклад) (→Лекции) |
Moskvin (обсуждение | вклад) (→Лекции) |
||
| (не показаны 3 промежуточные версии 2 участников) | |||
| Строка 1: | Строка 1: | ||
| − | Преподаватель: Москвин Денис Николаевич | + | Преподаватель: Москвин Денис Николаевич <code>dmoskvin@gmail.com</code> |
== Лекции == | == Лекции == | ||
| Строка 22: | Строка 22: | ||
[[Медиа:Tapl08_2018.pdf|Лекция 8. Экзистенциальные типы]] | [[Медиа:Tapl08_2018.pdf|Лекция 8. Экзистенциальные типы]] | ||
| + | |||
| + | [[Медиа:Tapl09_2018.pdf|Лекция 9. Cистема λω: операторы над типами]] | ||
| + | |||
| + | [[Медиа:Tapl10_2018.pdf|Лекция 10. Зависимые типы: система λP]] | ||
| + | |||
| + | [[Медиа:Tapl11_2018.pdf|Лекция 11. λ-куб и чистые системы типов (PTS)]] | ||
| + | |||
| + | [[Медиа:Tapl12_2018.pdf|Лекция 12. Логические системы]] | ||
== Практика == | == Практика == | ||
[https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями] | [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями] | ||
| + | |||
| + | '''[https://docs.google.com/spreadsheets/d/1Nw39sim23x9sQ-odIjLK3NgJhp1VqD7rYvARbbVb3kg/edit?usp=sharin Таблица с результатами]''' | ||
Текущая версия на 21:01, 23 мая 2018
Преподаватель: Москвин Денис Николаевич dmoskvin@gmail.com
Лекции
Лекция 1. Язык арифметических выражений
Лекция 4. Обитаемость простых типов
Лекция 5. Нормализация для простой системы
Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)
Лекция 7. Полиморфные типы: система λ2 (System F)
Практика 7. Полиморфные типы: система λ2 (System F)
Лекция 8. Экзистенциальные типы
Лекция 9. Cистема λω: операторы над типами
Лекция 10. Зависимые типы: система λP
Лекция 11. λ-куб и чистые системы типов (PTS)
