20.500.12556/RUL-133409 Prevajanje prestreznikov algebrajskih učinkov v Javascript magistrsko delo Compiling algebraic effect handlers to Javascript Algebrajski učinki in prestrezniki uvajajo nov pristop k reševanju danega problema. S pomočjo prostih monad so uspešno implementirani v prototipnem jeziku Eff, enako logiko pa želimo prenesti tudi na JavaScript. Zaradi različne narave obeh jezikov moramo najprej določiti glavne razlike osnovnih programskih konstruktov in se šele nato lotiti prevoda algebrajskih učinkov in prestreznikov. Z ročnim poskusom prevoda razvijemo pomožne funkcije in podatkovne strukture, ki jih kasneje uporabimo pri algoritmu za avtomatski prevod. Rezultat algoritma je JavaScript skripta, ki korektno reši problem na enak način, kot to počne tudi Eff. Algebraic effect handlers introduce a new approach to solving a given problem. They are successfully implemented in the prototype language Eff by using free monads and we would like to transfer the same logic to JavaScript. Due to vastly different nature of both languages we must first determine the main differences of basic programming constructs and only then try to translate the algebraic effect handlers. We develop auxiliary functions and data structures with a manual translation attempt which we then use in the algorithm for automatic translation. The end result of such an algorithm is a JavaScript script which correctly solves the given problem in the same way that Eff solves it. Eff Javascript prevajanje algebrajski učinki prestrezniki algebrajskih učinkov Eff Javascript compiling algebraic effects algebraic effect handlers true false false Slovenski jezik Angleški jezik Magistrsko delo/naloga 2021-11-26 08:15:02 2021-11-26 08:15:07 2024-05-29 13:02:17 0000-00-00 00:00:00 2021 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 004.42 122934 86418179 4248.pdf 4248.pdf 1 5C24B075614D5EA83689C03B49529766 3715fe813ba048a6b6db8f382ddaa9c60856315d8a71276cb4d65f52faf70adc 7faebc77-4e88-11ec-abdb-00155dcfd717 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=151450 Fakulteta za matematiko in fiziko Fakulteta za računalništvo in informatiko 0 0 0