20.500.12556/RUL-150093 Implementacija rekurzivnih podatkovnih tipov Implementation of recursive data types 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. The thesis addresses recursive data types, both inductive and coinductive. It provides their definition and presents some examples, as well as describing various approaches to their implementation. Subsequently, it focuses on sum types and the expression case, which can decompose sums into individual variants and is essential for working with recursive types. It outlines the steps for implementing these structures in the MiniHaskell programming language and illustrates the necessary changes in the lexer, parser, type checker and interpreter. The primary emphasis lies on the practical integration of these structures into the MiniHaskell programming language, where several usage examples are demonstrated, showcasing the utility of these structures and paving the way for potential further extensions. rekurzivni tip induktivni tip koinduktivni tip funkcijsko programiranje vsota tipov. recursive type inductive type coinductive type functional programming sum type. true false false Slovenski jezik Angleški jezik Diplomsko delo/naloga 2023-09-13 19:50:00 2023-09-13 19:50:03 2023-11-20 10:04:45 0000-00-00 00:00:00 2023 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 36984 168211203 Sabotic_Luka_-_Implementacija_rekurzivnih_podatkovnih_tipov.pdf Sabotic_Luka_-_Implementacija_rekurzivnih_podatkovnih_tipov.pdf 1 14A25B1AC154C1A95A6D02256705BC4B 106a4ed616a1b8857a8f9e3e5f0421bddb9ae1d58d81800160fae38f3f4a801c f8362544-525d-11ee-916e-0050569b8976 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=174637 Fakulteta za računalništvo in informatiko Fakulteta za matematiko in fiziko 0 0 0