Статический анализ и оптимизация кода в Glasgow Haskell Compiler

Встреча FProg 2012–12.

Glasgow Haskell Compiler – самый популярный из существующих компиляторов языка программирования Haskell, в котором реализованы многочисленные оптимизации кода путём переписывания программ. Корректность такого переписывания опирается на результаты статических анализов, также производимых компилятором и предваряющих трансформации.

В этом докладе рассказано про реализацию и теоретические основы наиболее интересных статических анализов, реализованных в GHC: анализа строгости (strictness analysis), использования (usage analysis) и явного построения структуры (constructed product result), а также приведены примеры использования выведенных результатов для построения оптимизаций. В рамках доклада сделан краткий обзор GHC pipeline, с акцентом на языке промежуточного представления Core, служащим платформой для анализов и трансформаций. Наконец, описан основной инструментарий из элементарной теории доменов, необходимой для формулировки и доказательства корректности анализов.

Лекция снята студией Лекториум по заказу JetBrains.

Информация о лекции на сайте FProg 2012-12