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

Компилятор GHC языка Haskell: вводный курс


Этот курс посвящён внутреннему устройству и алгоритмам компилятора GHC языка Haskell. Его цель в том, чтобы слушатели освоились с процессом разработки компилятора и смогли начать как исправлять баги, так и реализовывать новые возможности. Кроме того курс ставит себе цель познакомить слушателей с архитектурой большого и сложного программного обеспечения, реализуемого в функциональном стиле.

В течение десяти лекций мы подробно обсудим все этапы работы компилятора от синтаксического анализа до кодогенерации, в том числе поговорим о выводе типов, трансляции кода на Haskell во внутренний язык GHC Core и принципах вычисления лямбда-термов с помощью STG-машины, разберёмся с окружением, в котором GHC собирает многофайловые проекты, посмотрим на то, как пользоваться компилятором как библиотекой (GHC API) и как писать плагины к GHC, наконец, разберёмся с тем, что происходит в памяти во время исполнения программ на языке Haskell.

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

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