Functional Programming Using the New C++ Standard


  • Radu Bucea-Manea-Tonis Stefanini Romania
  • Rocsana Tonis (Bucea-Manea) Spiru Haret University



lambda, combinator, predicate, C 14


Today software technology evolves very quickly, to an old paradigm, called functional programming. This paradigm uses lambda functions ready to be used where declared instead of function pointers. The long term target is to let compilers evaluate rather than execute a program/function.  The new C++14 standard allows lambda calculus as we demonstrate in the applicative section of implementing conditionals, booleans and numbers.

Author Biography

Rocsana Tonis (Bucea-Manea), Spiru Haret University

Faculty of Marketing and International Business


V. Komendantsky, “Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus”, Electronic Notes in Theoretical Computer Science, Vol. 225, 2 January 2009, pp. 161-179

K. Pouliasis, G. Primiero, “J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic” Electronic Notes in Theoretical Computer Science, Vol. 300, 21 January 2014, pp. 71-87

M. A. AlTurki, J. Meseguer, “Executable rewriting logic semantics of Orc and formal analysis of Orc programs”, Journal of Logical and Algebraic Methods in Programming, Vol. 84, Issue 4, July 2015, pp. 505-533

R. Rojas, “A Tutorial Introduction to the Lambda Calculus”, FU Berlin, WS-97/98, available on-line at:

M. J. Gabbay, D. P. Mulligan, “Two-level Lambda-calculus”, Electronic Notes in Theoretical Computer Science, Vol. 246, 3 August 2009, pp. 107-129

D. Kieras, Using C++ Lambdas, University of Michigan, February 27, 2015, available on-line at:

H. Sutter, Trip Report: ISO C++ Spring 2013 Meeting, June 14. 2013, available on-line at:

M. Eberl, “The untyped Lambda Calculus”, August 21, 2011, available on-line at:

M. Goldberg, The Lambda Calculus - Outline of Lectures, August 29, 2014, available on-line at:

D. Vandevoorde, V. Voutilainen, ISO/IEC JTC1 SC22 WG21, 17 April 2013, available on-line at:

[www1] Tyler Cowen, A comparison of programming languages in economics,

[www2] Phil Johnson, If you’re an economist, C++ is the programming language for you

[www3] Syme Don, Why is Microsoft investing in Functional Programming?,


Additional Files