magistrsko delo
Rok Koleša (Author), Matija Pretnar (Mentor)

Abstract

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.

Keywords

Eff;Javascript;prevajanje;algebrajski učinki;prestrezniki algebrajskih učinkov;

Data

Language: Slovenian
Year of publishing:
Typology: 2.09 - Master's Thesis
Organization: UL FMF - Faculty of Mathematics and Physics
Publisher: [R. Koleša]
UDC: 004.42
COBISS: 86418179 Link will open in a new window
Views: 693
Downloads: 44
Average score: 0 (0 votes)
Metadata: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Other data

Secondary language: English
Secondary title: Compiling algebraic effect handlers to Javascript
Secondary 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.
Secondary keywords: Eff;Javascript;compiling;algebraic effects;algebraic effect handlers;
Type (COBISS): Master's thesis/paper
Study programme: 0
Thesis comment: Univ. v Ljubljani, Fak. za matematiko in fiziko, Oddelek za matematiko, Računalništvo in matematika - 2. stopnja
Pages: VII, 75 str.
ID: 14021188