Matija Pretnar: Programski jezik eff

Povzetek: programski jezik eff, ki sva ga razvila z Andrejem Bauerjem, je zasnovan na ideji, da so računski učinki (pomnilnik, vhod/izhod, nedeterminizem, izjeme) algebraične operacije za neko signaturo v smislu univerzalne algebre. V eff-u lahko program definira svoje učinke in prestreznike. Na seminarju bom predstavil osnovno teorijo algebraičnih učinkov in pokazal, kako deluje eff in kaj vse lahko z njim počnemo.

 Vabljeni!