City: Saint-Petersburg Novosibirsk Kazan Language: Русский English

Вывод типов от Хиндли — Милнера до GHC 8.8
Saint-Petersburg / spring 2019, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

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