Matija Pretnar: Kako za tisočkrat pohitrimo Eff

Datum objave: 20. 4. 2015
Seminar za temelje matematike in teoretično računalništvo
Torek, 21. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Povzetek: Algebrajski učinki in prestrezniki programerjem omogočajo, da na precej enostavnejši način pišejo programe z netrivialnim kontrolnim tokom, npr. tiste, ki uporabljajo nedeterminizem ali korutine. Vprašanje je, kolikšno ceno ta eleganca zahteva pri času, potrebnem za izvajanje programov.

Do sedaj na to vprašanje nismo imeli odgovora, saj je za Eff obstajal le tolmač, ki je po hitrosti neprimerljiv z učinkovito napisano kodo. Na seminarju bom predstavil preliminarni prevajalnik za Eff, ki deluje tako, da iz izvorne kode Effa ustvari izvorno kodo za OCaml, ki jo nato lahko z obstoječimi orodji prevedemo v razmeroma učinkovito strojno kodo.