Doménovo špecifické jazyky vo funkcionálnom programování
| Thesis title in thesis language (Slovak): | Doménovo špecifické jazyky vo funkcionálnom programování |
|---|---|
| Thesis title in Czech: | Doménově specifické jazyky ve funkcionálním programování |
| Thesis title in English: | Domain Specific Languages in Functional Programming |
| Key words: | umelá inteligencia, prehľadávanie stavových priestorov, doménovo špecifické jazyky, vnorené doménovo špecifické jazyky, funkcionálne programovanie |
| English key words: | Artificial Intelligence, state space search, Domain-Specific Languages, Domain-Specific Embedded Languages, functional programming |
| Academic year of topic announcement: | 2014/2015 |
| Thesis type: | diploma thesis |
| Thesis language: | slovenština |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | RNDr. Jan Hric |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 06.02.2015 |
| Date of assignment: | 24.03.2015 |
| Confirmed by Study dept. on: | 14.04.2015 |
| Date and time of defence: | 14.06.2018 09:00 |
| Date of electronic submission: | 11.05.2018 |
| Date of submission of printed version: | 11.05.2018 |
| Date of proceeded defence: | 14.06.2018 |
| Opponents: | Mgr. Martin Pilát, Ph.D. |
| Guidelines |
| 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. |
| References |
| [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 |