Статический анализ и оптимизация кода в 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
АвторИлья Сергей
ОрганизаторJetBrains
Лекции курса
2Онлайн-курсы по программированию
3
Машинное обучение для анализа текстов
От бизнес-идеи к ее реализации: учимся инновационному предпринимательству с нуля.
С платными опциями
Разработка игры-платформера на Defold: базовый уровень
Создайте свой первый платформер с нуля! За 7 недель вы не просто освоите движок Defold, а пройдете весь путь геймдев-разработчика: от кода и анимаций до дизайна и сюжета.
Бесплатный
Python для начинающих
Курс посвящен основам программирования на языке Python — одном из самых популярных и понятных языков, идеально подходящих для первого знакомства с IT.
Бесплатный