Implementacija rekurzivnih podatkovnih tipovSabotič, Luka (Avtor) Bauer, Andrej (Mentor) rekurzivni tipinduktivni tipkoinduktivni tipfunkcijsko programiranjevsota tipov.Diplomsko delo obravnava rekurzivne podatkovne tipe, tako induktivne, kot tudi koinduktivne. Podaja njihovo definicijo in predstavi nekaj primerov, ter opiše različne pristope k njihovi implementaciji. V nadaljevanju se posveti vsotam tipov in izrazu case, ki lahko razčleni vsote na posamezne variante in je potreben za delo z rekurzivnimi tipi. Predstavi korake implementacije teh struktur v programskem jeziku MiniHaskell in pokaže potrebne spremembe v leksičnem analizatorju, razčlenjevalniku, preverjevalniku tipov in tolmaču. Osnovni poudarek je na praktični integraciji teh struktur v programski jezik MiniHaskell, v katerem je prikazanih več primerov uporabe, ki ilustrirajo uporabnost teh struktur in odpirajo možnosti za morebitne nadaljne razširitve.20232023-09-13 19:50:00Diplomsko delo/naloga150093VisID: 36984COBISS_ID: 168211203sl