Prevajanje prestreznikov algebrajskih učinkov v Javascript : magistrsko delo

Koleša, Rok (author), 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.

• Language: Slovenian
• Keywords: Eff, Javascript, prevajanje, algebrajski učinki, prestrezniki algebrajskih učinkov
• Work type: Master's thesis/paper
• Typology: 2.09 - Master's Thesis
• Organization: FMF - Faculty of Mathematics and Physics; FRI - Faculty of Computer and Information Science
• Year: 2021
• PID: 20.500.12556/RUL-133409
• UDC: 004.42
• COBISS.SI-ID: 86418179
• Publication date in RUL: 26.11.2021

Secondary language

• Language: English
• Title: Compiling algebraic effect handlers to Javascript

Abstract

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.

• Keywords: Eff, Javascript, compiling, algebraic effects, algebraic effect handlers