Prevajanje prestreznikov algebrajskih učinkov v Javascript : magistrsko delo

Koleša, Rok (avtor), Pretnar, Matija (mentor)

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.

• Jezik: Slovenski jezik
• Ključne besede: Eff, Javascript, prevajanje, algebrajski učinki, prestrezniki algebrajskih učinkov
• Vrsta gradiva: Magistrsko delo/naloga
• Tipologija: 2.09 - Magistrsko delo
• Organizacija: FMF - Fakulteta za matematiko in fiziko ; FRI - Fakulteta za računalništvo in informatiko
• Leto izida: 2021
• PID: 20.500.12556/RUL-133409
• UDK: 004.42
• COBISS.SI-ID: 86418179
• Datum objave v RUL: 26.11.2021

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Compiling algebraic effect handlers to Javascript

Izvleček

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.

• Ključne besede: Eff, Javascript, compiling, algebraic effects, algebraic effect handlers