Вывод типов от Хиндли — Милнера до GHC 8.8
Санкт-Петербург / весна 2019, посмотреть все семестры

Языки программирования со статической типизацией было бы крайне неудобно использовать, если бы для них не существовало алгоритмов вывода типов. К сожалению, вывод типов — это благо, которое далеко не всегда имеет место. К счастью, для языков типа Haskell это возможно, хотя и довольно сложно с учётом богатства системы типов. В этом курсе лекций мы начнём с алгоритма вывода типов Хиндли для простого статически типизированного функционального языка, затем расширим и уточним его, получив алгоритм Дамаса — Милнера, а после этого перейдём к рассмотрению фреймворка для вывода типов OutsideIn(X), на основе которого в настоящее время выполняется вывод типов компилятором GHC языка Haskell. Для успешного прохождения курса желательно владение языком программирования Haskell (на базовом уровне).