Prohlížení katedra teoretické informatiky dle předmětu "Haskell"
Zobrazují se záznamy 1-4 z 4
-
Dynamické tracovaní Haskellu
; Vedoucí práce: Křikava Filip; Oponent práce: Bragilevsky Vitaly
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-12)Haskell je jeden z nejznámějších jazyků s non-strict sémantikou. Na jednu stranu přináší tato sémantika pohodlí nekonečných datových struktur, řídících konstrukcí definovaných uživatelem a možnost vyhnout se nepotřebným ... -
Implementace Simple Object Machine v funkcionálním programovacím jazyce
; Vedoucí práce: Křikava Filip; Oponent práce: Sliacký Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-15)Tato práce se zabývá implementaci dialektu programovacího jazyka Smalltak nazývaného Simple Object Machine (SOM), a to v čistě funkcionálním programovacím jazyce Haskell. Práce zkoumá syntaxi a sémantiku SOM programu a ... -
Implementace staticky typovaného, lazy, funkcionálního jazyka
; Vedoucí práce: Culpepper Ryan Michael; Oponent práce: Křikava Filip
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-08-25)Tato práce se věnuje implementaci funkcionálního, staticky typovaného programovacího jazyka inspirovaného jazykem Haskell. Hlavním bodem zájmu práce je implementace typového systému pro tento jazyk. Implementace vychází z ... -
Návrh šablonovacího jazyka a implementace překladače
; Vedoucí práce: Plachý Štěpán; Oponent práce: Jirůtka Jakub
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)Cílem této práce je návrh a implementace šablonavacího jazyka, pro tvorbu HTML stránek, který se zaměřuje na podporu funkcionálního stylu programování, pomocí nehož lze vylepšit vlastnosti šablonovacích jazyků. Základními ...