JetBrains Research — наука, меняющая мир

Семинар: Дефорестация

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


28.10.2019, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 2