|
|
Domain Specific Languages in Functional Programming
Rapavá, Jana ; Hric, Jan (vedoucí práce) ; Pilát, Martin (oponent)
V umělé inteligenci, obzvláště v programování s omezujícími podmínkami, je populární navrhovat rozličné modelovací jazyky, které umožňují řešit problémy na úrovni domény a prostřednictvím doménových abstrakcí. Při tom je často užitečné používat techniky známé z oblasti doménově specifických jazyků. Funkcionální programovací jazyky poskytují nové prostředky pro návrh těchto jazyků, obzvláště v případě vnořených doménově specifických jazyků. Tato práce zkoumá výhody a nevýhody využití technik funkcionálního programování při návrhu a implementaci vnořeného doménově specifického jazyka pro problémy prohledávání stavových prostorů.
|
|
|
Funkcionální jazyky kompilované do JavaScriptu v praxi
Mladý, Lukáš ; Bruckner, Tomáš (vedoucí práce) ; Kosek, Jiří (oponent)
Práce se zaměřuje na funkcionální přístupy ve vývoji front-endových aplikací. Cílem je analyzovat použitelnost funkcionálního jazyka Elm v praxi v porovnání se současným JavaScriptem stavějícím na knihovnách React a Redux. Cíle bylo dosaženo skrze analýzu a porovnání JavaScriptu a Elmu z hlediska jejich architektury a podpory tvorby reálných front-endových aplikací. Přínosem práce je ucelená analýza a přehled možností vývoje front-endových aplikací v jazycích JavaScript a Elm. Nabízí podklady a argumenty pro užití Elmu v praxi již dnes a zároveň doplňuje podporu BroadcastChannel API v Elmu pomocí naprogramovaného balíčku. Text práce začíná analýzou podpory funkcionálních konceptů JavaScriptem. Dále popisuje nejpoužívanější funkcionální jazyky kompilované do JavaScriptu včetně jejich použitelnosti JavaScriptovými vývojáři. Poté porovnává front-endovou architekturu JavaScriptu a Elmu a pak analyzuje vývoj reálných aplikací v obou jazycích. Práci zakončuje praktická implementace balíčku řešícího chybějící podporu BroadcastChannel API v Elmu.
|
|
|
Nízkoúrovňový funkcionální programovací jazyk
Kratochvíl, Miroslav ; Bednárek, David (vedoucí práce) ; Hric, Jan (oponent)
Cílem práce je prozkoumat možnosti implementace kompilátoru nízkoúrovňového funkcionálního jazyka. Předpokládá se zhodnocení teoretických vlastností funkcionálních jazyků, možných omezení vyplývajících z absence běhové podpory kódu a implementace kompilátoru jazyka, který demonstruje některé vybrané vlastnosti. Powered by TCPDF (www.tcpdf.org)
|
|
|
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
|
|
|
Typed Functional Genetic Programming
Křen, Tomáš ; Pudlák, Petr (vedoucí práce) ; Kubalík, Jiří (oponent)
V této práci je představen design a implementace systému řešícího úlohu genetického programování v simply typed lambda kalkulu. Je zde představena metoda inicializace počáteční populace založená na technice produkující typované lambda termy v dlouhé normální formě. Tato metoda je parametrizována jednoduchou prohledávací strategií. Několik takových prohledávacích strategií je představeno, jako například strategie pro systematické generování nebo strategie odpovídající standardní ramped half-and- half metodě. Další z představených strategií, strategie jménem geometrická strategie je blíže podrobena experimentům, které ukáží že má několik žádoucích efektů na průběh evoluce, jakými jsou zlepšení míry úspěšnosti, nižší časové nároky a menší průměrnou velikost termů v porovnání se standardní ramped half-and-half metodou generování jedinců. Další výkonnostní zlepšení jsou navržena a podpořena experimenty, jedná se o eta-normalizaci vygenerovaných jedinců a @-tree reprezentaci jedinců. Použitý proces eliminace abstrakcí umožňuje použití jednoduchého podstromy měnícího křížení. Powered by TCPDF (www.tcpdf.org)
|
|
|
Automated GUI Generation for functional data structures
Podloucký, Martin ; Pergl, Robert (vedoucí práce) ; Hric, Jan (oponent)
Tato práce se zabývá automatickým generováním grafického uživatelského rozhraní pro funkcionální programy. Po rozboru a zhodnocení současných možností v oblasti automatického generování GUI je představen koncept takzvaného funkcionálně strukturovaného uživatelského rozhraní (FSUI). Je specifikován systém metadat pro anotaci kódu v jazyce Clojure a popsána a implementována transformace z tohoto systému do datového modelu FSUI. Poté je v jazyce Clojure implementována grafická vrstva, která zobrazuje skutečné grafické rozhraní. Funkčnost tohoto přístupu je demonstrována na případové studii.
|
|
|
Návrhové vzory v jazyku PHP
Škovran, Jan ; Pecinovský, Rudolf (vedoucí práce) ; Mazánek, Petr (oponent)
Cílem práce je prozkoumat podporu paradigmat objektově orientovaného programování a funkcionálního programování a možnosti implementace návrhových vzorů v jazyku PHP. Vybrané návrhové vzory jsou implementovány v jednoduchých příkladech s ukázkami kódu. Na základě těchto informací jsou připraveny doporučení pro úpravu kurzů PHP na VŠE.
|
|
|
Algoritmické generování estetických rytmických sekvencí
Mahnert, Jakub ; Klepárník, Petr (oponent) ; Beran, Vítězslav (vedoucí práce)
Cílem projektu je navrhnout a implementovat systém, který se snaží potvrdit, nebo vyloučit domněnku, že je možné generovat unikátní rytmické sekvence, které člověk vnímá jako estetické. V práci je potom navržen a implementován framework, umožňující tvorbu algoritmů, generujících rytmické sekvence technikou kompozice. V jeho rámci jsou potom navrženy a implementovány algoritmy, zkoumající v uživatelském testování korelaci pravidelnosti formy a vlivů náhody na výslednou míru estetičnosti sekvence.
|
|
|
Návrh a implementace generické ústředny VoIP s využitím funkcionálního programování
Kidoň, Marek ; Ryšavý, Ondřej (oponent) ; Matoušek, Petr (vedoucí práce)
Tato práce se zabýva návrhem a implementací generické ústředny. Při implementaci byl použit jazyk Erlang, především díky jeho příznivým vlastnostem vzhledem k implementaci telefoního software. Práce také pojednává o deklarativním programování, jazyku Erlang a jeho konkrétních vlastnostech, výhodách a jeho nevýhodách. Na několika jednoduchých příkladech je pak úkázána funkčnost výsledné aplikace, která se jmenuje Genericka Ústředna. V závěru práce jsou shrnuty dosažené výsledky a návrh Generické Ústředny je porovnán s návrhem ústředny Asterisk.
|
|
|
Možnosti deklarativního programování v jazyku Java 8
Rytych, Maxim ; Pecinovský, Rudolf (vedoucí práce) ; Pavlíčková, Jarmila (oponent)
Tato práce se zabývá možnostmi deklarativního programování v nové verzi jazyka Java 8, a to konkrétně prostřednictvím prvků převzatých z domény funkcionálních programovacích jazyků v podobě funkce jako hodnoty a proudů dat využívajících odloženého vyhodnocení nazývaných v této práci termínem datovody. Cílem práce je předvést možnosti deklarativního programování prostřednictvím těchto prvků, analyzovat jejich implementaci a předvést, jak navrhnout vlastní řešení. Přínos práce spočívá zejména v ukázce možností nových prvků, rozboru jejich implementace a návrhu vlastního řešení. Výstupy může použít český čtenář, alespoň mírně pokročilý v oboru informačních technologií. Práce je rozdělena na část teoretickou a praktickou. Teoretická část je pokryta kapitolami 3 8. Teoretická část hovoří o motivaci zavedení nových prvků, popisuje funkcionální programování a jeho základní principy, poté ukazuje principy nově zavedených prvků a končí popisem balíčku java.util.stream. Praktická část je pokryta kapitolami 9 a 10. V praktické části jsou popsány operace datovodů a ukázány příklady vlastních řešení.
|
host ::
RSS.