Типы в языках программирования весна 2018 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(Лекции)
 
(не показаны 4 промежуточные версии 2 участников)
Строка 1: Строка 1:
Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')
+
Преподаватель: Москвин Денис Николаевич <code>dmoskvin@gmail.com</code>
  
 
== Лекции ==
 
== Лекции ==
Строка 20: Строка 20:
  
 
[[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]]
 
[[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]]
 +
 +
[[Медиа: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. Язык арифметических выражений

Лекция 2. Простые типы

Лекция 3. Простые расширения

Лекция 4. Обитаемость простых типов

Лекция 5. Нормализация для простой системы

Лекция 6. Подтипы

Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)

Лекция 7. Полиморфные типы: система λ2 (System F)

Практика 7. Полиморфные типы: система λ2 (System F)

Лекция 8. Экзистенциальные типы

Лекция 9. Cистема λω: операторы над типами

Лекция 10. Зависимые типы: система λP

Лекция 11. λ-куб и чистые системы типов (PTS)

Лекция 12. Логические системы

Практика

Ссылка-приглашение на stepik-курс с домашними заданиями

Таблица с результатами