Город: Санкт-Петербург Казань Язык: Русский English

Вывод типов от Хиндли — Милнера до GHC 8.8


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

Прочтения курсов

Семестр
весна 2019