|
|
Vytváření mobilních aplikací metodou reaktivního programování
Kříž, Matyáš ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Programování mobilních aplikací v systému iOS zavádí nebo doporučuje používání asynchronních volání procedur a paralelismus. Bývá obtížné v takovýchto aplikacích udržet přehled o toku událostí v programu. Zavádí se různé metodiky návrhu aplikací založených na asynchronnosti a paralelismu. Jednou z nich je tzv. reaktivní programovaní. Ve své práci se inspiruji metodikou nazývanou ReactiveX a odvozuji z ní metodiku podobnou, o níž se domnívám, že vystihuje metodiku ReactiveX v podstatných ohledech, je však jednodušší.
|
|
|
Funkcionální programování v Javě
VYSOCKÝ, Milan
Cílem této bakalářské práce je v teoretické i praktické části představit funkcionální (deklarativní) programování se všemi jeho hlavními rysy, analyzovat jeho implementaci a porovnat ho s objektově orientovaným (imperativním) programování. Teoretická část je zaměřena na funkcionální programování, kde budou objasněny jeho základní principy, realizace v Javě a důvody, proč tento druh programování vůbec vznikl. Pomocí poměrně nových rysů jazyka tzn. lambda výrazy, datovody, implicitní metody, funkční rozhraní, jejichž implementace bude mimo jiné také dopodrobna analyzovaná, budou představeny možnosti funkcionálního programování v Javě. Pomocí srovnání mezi funkcionálním programováním a programováním objektově orientovaným se zváží výhody a nevýhody jednotlivých přístupů. V praktické části bakalářské práce bude naprogramováno několik vlastních praktických řešených příkladů, na kterých je vidět použití všech výše uvedených rysů jazyka.
|
|
|
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.
|
host ::
RSS.