<?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=164837"><dc:title>Implementacija nemogočih funkcionalov z računskimi učinki</dc:title><dc:creator>Bogataj,	Klemen	(Avtor)
	</dc:creator><dc:creator>Bauer,	Andrej	(Mentor)
	</dc:creator><dc:subject>Funkcional</dc:subject><dc:subject>Cantorjeva množica</dc:subject><dc:subject>monada</dc:subject><dc:subject>memoizacija</dc:subject><dc:description>V diplomi obravnavam tako imenovane neskončne funkcionale, ki omogočajo izčrpno preiskovanje neskončne kompaktne množice. V lenem funkcijskem jeziku Haskell implementiram iskalno funkcijo za predikate na Cantorjevi množici. Implementiram optimizacije z različnimi tehnikami, nekatere izkoriščajo leno evaluacijo, med drugim tudi implementiram čisto funkcijsko memoizacijo. Razložim delovanje računskih učinkov z monadami in jih uporabim za monadične optimizacije iskalne funkcije.</dc:description><dc:date>2024</dc:date><dc:date>2024-11-13 13:14:16</dc:date><dc:type>Diplomsko delo/naloga</dc:type><dc:identifier>164837</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>