Исследовательская группа

Лаборатория языковых инструментов

Дефорестация

October 28

Промежуточные стуктуры данных, такие как списки и деревья, функции высшего порядка и поддержка ленивых вычислений являются этаким джентельменским набором для выразительного функционального языка программирования. Они позволяют элегантно и локанично склеивать/комбинировать различные части программы воедино. Тем не менее, они также являются источником неэффективности последних. Дефорестация представляет собой технику трансформации программ, целью которой является избавление от промежуточных стуктур данных, повышая тем самым производительность целевой программы. На семнинаре мы обсудим базовый алгоритм дефорестации, а также улучшенный алгоритм, способный, в отличии от первого, эффективно обрабатывать функции высших порядков, их ограничения и свойства.


Докладчик: Даниил Березун.

Материалы