Matija Pretnar: Kako za tisočkrat pohitrimo Eff

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.