20.500.12556/RUL-103407 Podatkovni tipi kot začetne algebre in končne koalgebre delo diplomskega seminarja Data types as initial algebras and final coalgebras V delu dokažemo, da podatkovna tipa končnih seznamov in končnih binarnih dreves s celimi števili na listih ustrezata definiciji začetne algebre. Vidimo, da lahko v Haskellu enostavno definiramo sezname in drevesa, kakor tudi z njimi povezane funktorje in celo ključno preslikavo, ki nastopa v dokazu za začetno algebro. Opazimo, da sta si matematični jezik in Haskell izredno podobna. Podatkovni tipi v Haskellu so objekti v kategoriji, funkcije pa morfizmi med njimi. Dokažemo, da sta podatkovna tipa neskončnih seznamov in neskončnih dreves končni koalgebri, poleg tega pa ju v Haskellu lahko definiramo na isti način kot smo prej končne. Tako obstaja razkorak med matematiko in Haskellom, saj sta začetna algebra in končna koalgebra v Haskellu eno in isto, v matematiki pa očitno različna pojma. In this work we show that data types of finite lists and finite binary trees with integers on leaves can in fact be defined as initial algebras. We can define lists and trees in Haskell effortlessly, as well as related functors and the mapping, essential in the proof of initial algebra. We notice great similarity between languages of mathematics and Haskell. Data types in Haskell can be seen as objects inside category, while functions can be seen as morphisms in between. We prove that data types of infinite lists and infinite trees are final coalgebras, while implementation in Haskell remains the same as before for the finite ones. Therefore there is a distinction between mathematics and Haskell, i.e. coincidence of initial algebra and final coalgebra in Haskell and obvious difference between the two in mathematics. Haskell rekurzivni podatkovni tip teorija kategorij začetna algebra Haskell recursive data type category theory initial algebra true false false Slovenski jezik Angleški jezik Delo diplomskega seminarja/zaključno seminarsko delo/naloga 2018-09-17 07:15:07 2018-09-17 07:15:11 2022-08-16 03:41:55 0000-00-00 00:00:00 2018 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 004 90499 18437721 448.pdf 448.pdf 1 83D53612892744A98F453E73F772D554 aedcb69b35dbd7433c52193760a9df4dd4a1e72b0e736f7815ec744057a8602f cd0b8522-a1b5-11eb-a523-00155dcfd717 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=113840 Fakulteta za matematiko in fiziko 0 0 0