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

Povzetek

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.

Ključne besede

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

Podatki

Jezik: Slovenski jezik
Leto izida:
Tipologija: 2.09 - Magistrsko delo
Organizacija: UL FMF - Fakulteta za matematiko in fiziko
Založnik: [R. Koleša]
UDK: 004.42
COBISS: 86418179 Povezava se bo odprla v novem oknu
Št. ogledov: 693
Št. prenosov: 44
Ocena: 0 (0 glasov)
Metapodatki: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Ostali podatki

Sekundarni jezik: Angleški jezik
Sekundarni naslov: Compiling algebraic effect handlers to Javascript
Sekundarni povzetek: 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.
Sekundarne ključne besede: Eff;Javascript;compiling;algebraic effects;algebraic effect handlers;
Vrsta dela (COBISS): Magistrsko delo/naloga
Študijski program: 0
Komentar na gradivo: Univ. v Ljubljani, Fak. za matematiko in fiziko, Oddelek za matematiko, Računalništvo in matematika - 2. stopnja
Strani: VII, 75 str.
ID: 14021188