Илья Сергей. Статический анализ и оптимизация кода в GHC скачать в хорошем качестве

Илья Сергей. Статический анализ и оптимизация кода в GHC

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