|
|
Functional reactive programming for web applications
Smrž, Roman ; Pudlák, Petr (vedoucí práce) ; Hric, Jan (oponent)
Funkcionálně reaktivní programování umožňuje popis dynamických systémů deklarativním stylem s využitím typové bezpečnosti, což je doména obecně funkcionálních jazyků, zejména pak Haksellu, který jsme zvolili pro implementaci knihovny. Zde zkoumáme cesty, jimiž lze těchto technik využít při programování webových aplikací; konkrétně je zde navržen \emph{domain specific language}, sloužící ke psaní webových stránek jako součást programu napsaného v Haskellu, který nakonec vygeneruje kód určený k odeslání uživateli, a k jejich obohacení o dynamický obsah. Také zjišťujeme, do jaké míry je možné rozšířit vyjadřovací sílu takové knihovny vzhledem k určitým omezením, která jsou daná zvoleným přístupem. Zároveň využijeme i stromovou strukturu HTML stránky, která se vcelku hodí k zápisu přímo v programovacím jazyce a do níž přidáváme další prvky dodávající systému dynamiku a interaktivitu.
|
|
|
Automatic lifting of expressions for typed functional languages
Smrž, Roman ; Pudlák, Petr (vedoucí práce) ; Hric, Jan (oponent)
Při programování v typovaných funkcionálních jazycích je často potřeba kombinovat čisté a monadické operace (popřípadě jinou reprezentaci postran- ních efektů), nicméně potřebné liftování musí programátor udělat ručně a může vést k nepřehlednému kódu. V této práci zkoumáme možnosti, jak by tuto činnost mohl zastat automaticky kompilátor. Je zde popsáno několik metod, z nichž výsledná převádí daný problém na řešení soustavy lineárních diofantických rovnic. Kromě monád uvažujeme také aplikativní funktory ja- kožto alternativní přístup k práci s postranními efekty výpočtů. 1
|
|
|
Functional reactive programming for web applications
Smrž, Roman ; Pudlák, Petr (vedoucí práce) ; Hric, Jan (oponent)
Funkcionálně reaktivní programování umožňuje popis dynamických systémů deklarativním stylem s využitím typové bezpečnosti, což je doména obecně funkcionálních jazyků, zejména pak Haksellu, který jsme zvolili pro implementaci knihovny. Zde zkoumáme cesty, jimiž lze těchto technik využít při programování webových aplikací; konkrétně je zde navržen \emph{domain specific language}, sloužící ke psaní webových stránek jako součást programu napsaného v Haskellu, který nakonec vygeneruje kód určený k odeslání uživateli, a k jejich obohacení o dynamický obsah. Také zjišťujeme, do jaké míry je možné rozšířit vyjadřovací sílu takové knihovny vzhledem k určitým omezením, která jsou daná zvoleným přístupem. Zároveň využijeme i stromovou strukturu HTML stránky, která se vcelku hodí k zápisu přímo v programovacím jazyce a do níž přidáváme další prvky dodávající systému dynamiku a interaktivitu.
|
host ::
RSS.