<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=115230"><dc:title>Prevajanje prestreznikov algebrajskih učinkov v jezik brez učinkov</dc:title><dc:creator>Zupančič,	Žiga	(Avtor)
	</dc:creator><dc:creator>Pretnar,	Matija	(Mentor)
	</dc:creator><dc:subject>računski učinki</dc:subject><dc:subject>prestrezniki algebrajskih učinkov</dc:subject><dc:subject>eksplicitni tipi</dc:subject><dc:subject>jezik brez eksplicitnih učinkov</dc:subject><dc:description>V delu je predstavljen funkcijski programski jezik Eff za delo z algebrajskimi učinki in njihovimi prestrezniki. Na primeru je prikazan prevod v OCaml in predstavljena učinkovitost izvajanja glede na ročno napisano kodo v OCaml-u. Opisana je optimizacija prevajanja in kakšne težave pri tem nastanejo. Kot rešitev je predstavljen eksplicitno tipiziran jezik ExEff z eksplicitnimi učinki in ciljni jezik tega jezika. Kot drug možen ciljni jezik je predstavljen eksplicitno tipiziran jezik NoEff, ki ne vsebuje eksplicitnih učinkov, sledi le njihovi uporabi. Dokazana sta izreka o ohranitvi ter delnem napredku za NoEff s spremljajočimi lemami. Opisana so pravila za prevajanje tipov, pretvorb, vrednosti in izračunov iz ExEff v NoEff. Podan je primer prevoda in dokazan je izrek o ohranitvi tipov. Na kratko je razložena tudi implementacija v jeziku OCaml, kjer predstavimo strukturo in nekatere dele kode.</dc:description><dc:date>2020</dc:date><dc:date>2020-04-19 08:15:03</dc:date><dc:type>Magistrsko delo/naloga</dc:type><dc:identifier>115230</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>