JetBrains Research — наука, меняющая мир

Семинар по использованию параметричности для получения бесплатных теорем

Поскольку параметрически-полиморфные функции должны обрабатывать значения разных типов идентичным образом, их возможности использования информации о поступающих значениях существенно ограничены. Эти ограничения могут быть использованы для доказательства некоторых полезных свойств полиморфных функций. Филип Уодлер предложил метод генерации теорем такого рода (известных теперь как "бесплатные теоремы» — free theorems) для любого полиморфного типа. В докладе мы разберем данный метод, а также рассмотрим конкретные примеры бесплатных теорем и их возможные применения.

Материалы к докладу:

Philip Wadler. Theorems for free!

Докладчик: Дмитрий Розплохас

04.12.2017, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28