Prohlížení České vysoké učení technické v Praze dle předmětu "laziness"
Zobrazují se záznamy 1-1 z 1
-
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 ...