DSL in C++ Template Metaprogram

详细信息    查看全文

• 作者：Zolt谩n Porkol谩b (16)
  脕bel Sinkovics (16)
  Istv谩n Siroki (16)
  
  16. Department of Programming Languages and Compilers ; Faculty of Informatics ; E枚tv枚s Lor谩nd University ; P谩zm谩ny P茅ter S茅t谩ny 1/C ; 1117 ; Budapest ; Hungary
  
• 刊名：Lecture Notes in Computer Science
• 出版年：2015
• 出版时间：2015
• 年：2015
• 卷：8606
• 期：1
• 页码：76-114
• 全文大小：1,414 KB
• 参考文献：1. Abrahams, D, Gurtovoy, A (2004) C++ Template Metaprogramming, Concepts, Tools, and Techniques from Boost and Beyond. Addison-Wesley, Boston
  2. Andersson, L.: Parsing with Haskell, 28 October 2001. http://www.cs.lth.se/eda120/assignment4/parser.pdf
  3. Gil, Y., Lenz, K.: Simple and safe SQL queries with C++ templates. In: Consela, C., Lawall, J.L. (eds) 6th International Conference on Generative Programming and Component Engineering, GPCE 2007, Salzburg, Austria, pp. 13鈥?4, 1鈥? October 2007
  4. Odersky, M., Spoon, L., Venners, B.: Programming in Scala, 2nd edn. Artima (2010). ISBN-10: 0981531644
  5. The POSIX standard, 1003.1-2008 - IEEE Standard for Information Technology聽- Portable Operating System Interface (POSIX(R)). ndards.ieee.org/findstds/standard/1003.1-2008.html" class="a-plus-plus">http://standards.ieee.org/findstds/standard/1003.1-2008.html
  6. Porkol谩b, Z., Sinkovics, 脕.: Domain-specific language integration with compile-time parser generator library. In: Visser, E., J盲rvi, J. (eds) Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, 10鈥?3 October 2010
  7. Sinkovics, 脕., Porkol谩b, Z.: Domain-specific language Integration with C++ template metaprogramming. In: Mernik, M. (ed) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, pp. 33鈥?6. Published by Information Science Reference (an imprint of IGI Global), Hershey. ISBN 978-1-4666-2092-6 (hardcover) - ISBN 978-1-4666-2093-3 (ebook) - ISBN 978-1-4666-2094-0 pp. 33-56
  8. Sinkovics, 脕., Porkol谩b, Z.: Implementing monads for C++ template metaprograms. In: Science of Computer Programming, Available online 23 January 2013. ISSN 0167鈥?423, doi:10.1016/j.scico.2013.01.002. (http://www.sciencedirect.com/science/article/pii/S0167642313000051)
  9. Sinkovics, 脕., Saj贸, E., Porkol谩b, Z.: Towards more reliable C++ template metaprograms. In: Penjam, J. (ed.) 12th Symposium on Programming Languages and Software Tools (SPLST 2011), Tallinn, Estonia, pp. 260鈥?71, 5鈥? October 2011
  10. Sinkovics, 脕., Porkol谩b, Z.: Expressing C++ template metaprograms as lambda expressions. In: Horv谩th, Z., Zs贸k, V., Achten, P., Koopman, P. (eds.) Proceedings of Tenth Symposium on Trends in Functional Programming, Komrno, Slovakia, pp. 97鈥?11, 2鈥? June 2009
  11. Visser, E Program transformation with Stratego/XT. In: Lengauer, C, Batory, D, Blum, A, Odersky, M eds. (2004) Domain-Specific Program Generation. Springer, Heidelberg, pp. 216-238 ndow">CrossRef
  12. The auto specified in C++11. http://en.cppreference.com/w/cpp/language/auto
  13. The Boost. Proto library. http://www.boost.org/doc/libs/1_53_0/doc/html/proto.html
  14. Continuation-passing style on Wikipedia. http://en.wikipedia.org/wiki/Continuation-passing_style
  15. Marlow, S. (ed.): Haskell 2010 Language report (2010). nd_library_specification" class="a-plus-plus">http://www.haskell.org/haskellwiki/Language_and_library_specification
  16. Icon, The Icon Programming Language. http://www.cs.arizona.edu/icon
  17. The ISO C++11 standard, ISO/IEC 14882:2011(E) Information technology - Programming languages - C++. http://www.iso.org/iso/catalogue_detail.htm?csnumber=50372
  18. Katahdin. http://www.chrisseaton.com/katahdin
  19. Milewski, B.: Haskell and C++ template metaprogramming. nd-slides" class="a-plus-plus">http://bartoszmilewski.wordpress.com/2009/10/26/haskellc-video-and-slides
  20. Milewski, B., Niebler, E.: Compile-Time/Run-Time Functional Programming in C++. http://2012.cppnow.org/session/variadic-template-metaprogramming-using-monads
  21. The MPL Reference Manual. http://www.boost.org/doc/libs/1_53_0/libs/mpl/doc/refmanual.html
  22. Sinkovics, 脕., Porkol谩b, Z.: Metaparse - Compile-time parsing with template metaprogramming. http://2012.cppnow.org/session/metaparse-compile-time-parsing-with-template-metaprogramming
  23. The User Manual of mpllibs metaparse. http://abel.web.elte.hu/mpllibs/metaparse/manual.html
  24. Veldhuizen, T., Gannon, D.: Active libraries: rethinking the roles of compilers and libraries. In: Proceedings of the SIAM Workshop on Object Oriented Methods for Inter-Operable Scientific and Engineering Computing OO 1998 (1998)
  25. Veldhuizen, T (1995) Expression templates. C++ Report 7: pp. 26-31
  26. The Stratego Program Transformation Language. http://strategoxt.org/
  27. The Template Haskell programming language. http://www.haskell.org/haskellwiki/Template_Haskell
  28. The xlxpressive library. tvans/mpllibs/tree/master/mpllibs/xlxpressive" class="a-plus-plus">https://github.com/istvans/mpllibs/tree/master/mpllibs/xlxpressive
  29. The XMF programming language. tvu.ac.uk/clark/xmf.html" class="a-plus-plus">http://itcentre.tvu.ac.uk/clark/xmf.html
  30. The Boost Xpressive library. http://www.boost.org/doc/libs/1_55_0/doc/html/xpressive.html
  31. Xpressive - 鈥淣ested Regexes and Sub-Match Scoping鈥?and 鈥淣ested Results鈥? nd_nested_matches.nested_regexes_and_sub_match_scoping" class="a-plus-plus">http://www.boost.org/doc/libs/1_53_0/doc/html/xpressive/user_s_guide.html#boost_xpressive.user_s_guide.grammars_and_nested_matches.nested_regexes_and_sub_match_scoping
  
• 作者单位：Central European Functional Programming School
• 丛书名：978-3-319-15939-3
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Computer Communication Networks
  Software Engineering
  Data Encryption
  Database Management
  Computation by Abstract Devices
  Algorithm Analysis and Problem Complexity
  
• 出版者：Springer Berlin / Heidelberg
• ISSN：1611-3349

文摘

Domain specific language integration has to provide the right balance between the expressive power of the DSL and the implementation and maintenance cost of the applied integration techniques. In this paper we discuss a DSL integration technique for the C++ programming language. The solution is based on compile-time parsing of the DSL code using the C++ template metaprogramming library called Metaparse. The parser generator is the C++ template metaprogram reimplementation of a runtime Haskell parser generator library. The full parsing phase is executed when the host program is compiled. The library uses only standard C++ language features, thus our solution is highly portable. As a demonstration of the power of this approach, we present a highly efficient and type-safe version of printf and the way it can be constructed using our library. Despite the well known syntactical difficulties of C++ template metaprograms, building embedded languages using Metaparse leads to self-documenting maintenable C++ source code.