Doménově specifické jazyky

• Thesis title in Czech: Doménově specifické jazyky
• Thesis title in English: Domain Specific Languages
• Academic year of topic announcement: 2008/2009
• Thesis type: diploma thesis
• Thesis language: češ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: 19.11.2008
• Date of assignment: 19.11.2008
• Date and time of defence: 21.09.2009 00:00
• Date of electronic submission: 21.09.2009
• Date of proceeded defence: 21.09.2009
• Opponents: doc. RNDr. Pavel Surynek, Ph.D.

Guidelines

Doménově specifické jazyky se navrhují pro práci v určité oblasti
(např. parsing [1] kap. 13, pretty printing, grafika, testování, XML
[2], Web [3]) a používají data a operace specifické pro danou oblast. Jeden
způsob implementace je návrh sady procedur zaměřených na danou
doménu, obvykle ve formě kombinátorů [2]. Rozeberte postupy používané
při tvorbě vnořených doménově specifických jazyků (DSEL - Domain Specific
Embedded Languages), zaměřte se přitom na funkcionální programování [1].
Zhodnoďte výhody a nevýhody těchto postupů.

Charakterizujte techniky a přístupy
používané při tvorbě DSL, např. kombinátory a fantomové typy. Popište
vhodnost a využití rozšíření jazyků funkcionálního programování
a/anebo porovnejte programátorské techniky mezi funkcionálními a jinými jazyky [4].

Součásti práce může být návrh DSL pro vhodnou
doménu, na kterém budou předvedeny vybrané postupy.

References

[1] Simon Thompson: Haskell. The Craft of Functional Programming.
Addison-Wesley, Harlow, England, 1997

[2] Malcolm Wallace, Colin Runciman: Haskell and XML: Generic
Combinators or Type-Based Translation? ICFP 1999, ACM, pp. 148-159

[3] Eelco Visser: WebDSL: A Case Study in Domain-Specific Language
Engineering, Generative and Transformational Techniques in Software
Engineering II, LNCS 5235, Springer, 2008, pp. 291-373

[4] Czarnecki, K., O'Donnell, J., Striegnitz, J., Taha, W.: DSL
implementation in MetaOCaml, Template Haskell, and C++. In: Lengauer,
C., Batory, D., Consel, C., Odersky, M. (eds.) Domain-Specific
Program Generation. LNCS, vol. 3016, pp. 50-71. Springer, Heidelberg
(2004)