Doménovo špecifické jazyky vo funkcionálnom programování
| Název práce v jazyce práce (slovenština): | Doménovo špecifické jazyky vo funkcionálnom programování |
|---|---|
| Název práce v češtině: | Doménově specifické jazyky ve funkcionálním programování |
| Název v anglickém jazyce: | Domain Specific Languages in Functional Programming |
| Klíčová slova: | umelá inteligencia, prehľadávanie stavových priestorov, doménovo špecifické jazyky, vnorené doménovo špecifické jazyky, funkcionálne programovanie |
| Klíčová slova anglicky: | Artificial Intelligence, state space search, Domain-Specific Languages, Domain-Specific Embedded Languages, functional programming |
| Akademický rok vypsání: | 2014/2015 |
| Typ práce: | diplomová práce |
| Jazyk práce: | slovenština |
| Ústav: | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
| Vedoucí / školitel: | RNDr. Jan Hric |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 06.02.2015 |
| Datum zadání: | 24.03.2015 |
| Datum potvrzení stud. oddělením: | 14.04.2015 |
| Datum a čas obhajoby: | 14.06.2018 09:00 |
| Datum odevzdání elektronické podoby: | 11.05.2018 |
| Datum odevzdání tištěné podoby: | 11.05.2018 |
| Datum proběhlé obhajoby: | 14.06.2018 |
| Oponenti: | doc. Mgr. Martin Pilát, Ph.D. |
| Zásady pro vypracování |
| Práce rozebere tvorbu a použití DSEL (Domain Specific Embedded Language, doménově specifické vnořené jazyky) včetně implementačních technik v kontextu funkcionálního programování a jazyka Haskell, případně jeho rozšíření.
DSEL v Haskellu byly navrženy pro různé domény. Nejznámější jsou asi parsery [1]. Další jsou např. popis geometrických regionů a obrázků včetně dynamických [2], nástroj pro testování kódu QuickCheck [3], převedený následně do mnoha jiných jazyků, selekční jazyky pro HTML a XML atd. Diplomant navrhne DSEL pro vhodnou podúlohu (nebo podúlohy) prohledávání stravového prostoru, například popis a kombinaci heuristik nebo strategií při prohledávání, propagaci omezení při zpracování omezujících podmínek nebo strukturovaný popis genomu v genetickém programování a operací na něm. |
| Seznam odborné literatury |
| [1] Graham Hutton: Programming in Haskell, Cambridge University Press, 2007
[2] Paul Hudak: Modular Domain Specific Languages and Tools, Fifth International Conference on Software Reuse, 1998. [3] Koen Claessen, John Hughes: QuickCheck: a lightweight tool for random testing of Haskell programs. Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, 2000, pp. 268-279 [4] Martin Fowler, Rebecca Parsons: Domain-Specific Languages, Addison Wesley, 2011 [5] Tom Schrijvers, Peter J. Stuckey, Philip Wadler: Monadic constraint programming. The Journal of Functional Programming, vol. 19, No. 6, pp. 663-697, 2009 |