Bakalářské práce
Runtime Haskellu interpretující SKI kombinátory
Autor
Matej Rovder
Rok
2026
Typ
Bakalářská práce
Vedoucí
RNDr. Tomáš Jakl, Ph.D.
Oponenti
Ing. Jan Liam Verter
Katedra
Anotace
Táto práca sa zaoberá možnosťami behu programov v jazyku Haskell vo webovom prostredí. Skúma teóriu prekladu lambda kalkulu na výrazy SKI kombinátorov a použitia grafovej redukcie pre dosiahnutie lenivého vyhodnocovania. Praktickým výsledkom práce je nový runtime systém v jazyku TypeScript pre kompilátor MicroHs, ktorý kompiluje programy z jazyka Haskell na grafy SKI kombinátorov. Výsledný runtime je nenáročnou a jednoduchou alternatívou k existujúcim prístupom.