У петак 28. априла у 10ч, у учионици 706 др Мирослав Гаврилов из компаније Ubisoft ће одржати предавање „Рекурзивне схеме и формализација рекурзије као првокласног члана функционалних језика“.
У суштини сваког функционалног језика је мали број примитивних израза (функција) и неки метод свођења израза до неке нормалне форме (позив функције). Да би из минималне основе могли да добијемо корисне механизме (бројеве, операције, итд.), потребно је омогућити принцип рекурзије: функције морају да могу да зову саме себе. У индустрији, функционални језици су обично згодни као алати (скриптинг језици) јер дозвољавају лакши рад са подацима у концизнијој форми. Ове две чињенице чине да је прича о оптимизацији рекурзија неопходна, будући да је лоше написана рекурзија извор много динамичких алокација, као и нетерминације програма. Рекурзивне схеме се појављују као решење за оба ова проблема. Основна идеја је да раздвојимо рекурзивне функције на два дела – један генерални који представља основу било које рекурзивне компјутације, и други специфичан за сваки рекурзивни процес којим утичемо на њихов облик и трајање. Ове две особине се једноставно дефинишу већ са основним знањем теорије категорија, што се у Хаскел преводи крајње природно.
Предавање се одржава у оквиру курса Функционално програмирање, али су добродошли сви заинтересовани студенти. Информације о предавању, о предавачу и фирми Ubisoft можете наћи на:
https://poincare.matf.bg.ac.rs/~ivan/_/2023-04-25-rekurzivne-sheme.php