Implementacija in optimizacija nemogočih funkcionalov

diplomsko delo

Klemen Bogataj (Avtor), Andrej Bauer (Mentor)

Povzetek

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.

Ključne besede

funkcional;Cantorjeva množica;monada;memoizacija;računalništvo;matematika;interdisciplinarni študij;univerzitetni študij;diplomske naloge;

Podatki

Jezik:	Slovenski jezik
Leto izida:	2024
Tipologija:	2.11 - Diplomsko delo
Organizacija:	UL FRI - Fakulteta za računalništvo in informatiko
Založnik:	[K. Bogataj]
UDK:	004:51(043.2)
COBISS:	214135811
Št. ogledov:	95
Št. prenosov:	9
Ocena:	0 (0 glasov)
Metapodatki:

Ostali podatki

Sekundarni jezik:	Angleški jezik
Sekundarni naslov:	Implementation and optimization of impossible functionals
Sekundarni povzetek:	In this work, I address the so-called infinite functionals, which enable the exhaustive search of infinite compact sets. I implement a search function for predicates on the Cantor set in the lazy functional programming language Haskell. I implement optimizations using various techniques, some of which exploit lazy evaluation, I also implement pure functional memoization. I explain the operation of computational effects using monads and apply them for monadic optimizations of the search function.
Sekundarne ključne besede:	functional;Cantor set;monad;memoization;computer science;computer and information science;computer science and mathematics;interdisciplinary studies;diploma;
Vrsta dela (COBISS):	Diplomsko delo/naloga
Študijski program:	1000407
Komentar na gradivo:	Univ. v Ljubljani, Fak. za računalništvo in informatiko
Strani:	1 spletni vir (1 datoteka PDF (41 str.))
ID:	25392610