Multiparadigm programming: Novel devices for implementing functional and logic programming constructs in C++

Domain-specific embedded language;C++;Logic programming;Multiparadigm programming;Functional programming;Object-oriented programming

McNamara, Brian ; Computing

University:Georgia Institute of Technology

Department:Computing

关键词: Domain-specific embedded language;    C++;    Logic programming;    Multiparadigm programming;    Functional programming;    Object-oriented programming;   

Others  :  https://smartech.gatech.edu/bitstream/1853/5073/1/mcnamara_brian_m_200407_phd.pdf

美国|英语

来源: SMARTech Repository

【 摘 要 】

Constructs for functional and logic programming can be smoothly integrated into an existing object-oriented language.We demonstrate this in the context of C++ (a statically-typed object-oriented language with effects and parametric polymorphism) via two libraries: FC++ and LC++.FC++ is a library for functional programming in C++; FC++ supports higher-order polymorphic functions, lazy lists, and a small lambda language; it also contains a large library of useful functions, datatypes, combinators, and monads.LC++ is a library for logic programming in C++; LC++ provides the same general functionality as Prolog, including the ability to return query results lazily (one at a time).Bothlibraries are embedded in C++ so that they share C++'s static type system, and the library interfaces provide straightforward ways forcode from within one paradigm to ``call out' to another.Our work describes the techniques used to implement these libraries in C++ and shows that the resulting multiparadigm language has usefulapplications in real-world domains.We also describe how many of the implementation techniques can be generalized from C++ and applied toother programming languages to yield similar results.