Browsing by Subject "compile time validation"
Now showing items 1-1 of 1
-
Knihovna pro konstrukci staticky typovaných PostgreSQL dotazů v jazyce Scala
; Supervisor: Létal Vojtěch; Opponent: Daněček Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-26)Hlavní téma této práce je vývoj a implementace knihovny pro vytváření staticky typovaných SQL dotazů v jazyce Scala, společně s průzkumem existujících Scala knihoven, které se zabývají vytvářením SQL dotazů. Nejprve jsou ...