Now showing items 1-3 of 3

    • Dynamické tracovaní Haskellu 

      Author: Ondřej Kvapil; Supervisor: Křikava Filip; Opponent: 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 

      Author: Filip Říha; Supervisor: Křikava Filip; Opponent: 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 ...
    • Návrh šablonovacího jazyka a implementace překladače 

      Author: Adam Plodek; Supervisor: Plachý Štěpán; Opponent: 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 ...