Work

On the Issue of Functional Style in Metaprogramming in C++

Year: 2026

Type: article

Abstract: The paper examines metaprogramming as a form of declarative programming with roots in Alonzo Church's lambda calculus. A comparison is drawn between metaprogramming in LISP and imperative programming in C++. The C++ template language is considered as an example of metaprogramming. Methods of C++ metaprogramming are examined: SFINAE, template specialisation, and others. A program solving the Abstract Factory design pattern problem formulated by A. Alexandrescu is demonstrated.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.21497338

Authors: Trokhymchuk, Artem, Boublik, Volodymyr

Institution: National University of Kyiv-Mohyla Academy

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7170100883

FWCI:

Cites:

Cited by:

Related to: