У петак 21. априла у 16ч, у учионици 718 Стефан Исалиовић из компаније Ubisoft ће одржати предавање ,,Оптимизација функционалних компајлера користећи основе теорије категорија“. Теорија категорија представља јак математички модел, чије коришћење је распрострањено како у математици, тако и у другим наукама. Једна од многих примена је оптимизација компајлирања. У нашем случају, говоримо о функционалним језицима као сто је Haskell – чији компајлер има подршку за овај тип оптимизације. Овакву анализу је у C++у тешко урадити због нетранспарентности функција и мутабилности глобалног стања, али сваком верзијом прилазимо тој могућности. Идеја је да уведемо и аутоматизујемо анализу комплексности програма које пишемо, користећи појам функтора као нечега сто представља структуирану трансформацију података, и комутативних дијаграма, као начина да докажемо да су два процеса различите комплексности семантички једнаки. Након тога, потребно је само изабрати „јефтинији“. У склопу предавања ћемо видети само неколико примера једне породице анализа и оптимизација компилатора.
Предавање се одржава у оквиру курса Конструкција компилатора али су добродошли и сви заинтересовани студенти. Информације о предавању, о фирми Убисофт и о предавачу можете наћи на страници курса.