Functional Programming Using the New C++ Standard
Keywords:lambda, combinator, predicate, C 14
AbstractToday 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.
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: http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf
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: http://www.umich.edu/~eecs381/handouts/Lambda.pdf
H. Sutter, Trip Report: ISO C++ Spring 2013 Meeting, June 14. 2013, available on-line at: https://isocpp.org/blog/2013/04/trip-report-iso-c-spring-2013-meeting
M. Eberl, “The untyped Lambda Calculus”, August 21, 2011, available on-line at: http://home.in.tum.de/~eberlm/lambda_paper.pdf
M. Goldberg, The Lambda Calculus - Outline of Lectures, August 29, 2014, available on-line at: http://www.little-lisper.org/website/files/lambda-calculus-tutorial.pdf
D. Vandevoorde, V. Voutilainen, ISO/IEC JTC1 SC22 WG21, 17 April 2013, available on-line at: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3648.html
[www1] Tyler Cowen, A comparison of programming languages in economics, http://marginalrevolution.com/marginalrevolution/2014/07/a-comparison-of-programming-languages-in-economics.html#sthash.6kF0vXGI.dpuf
[www2] Phil Johnson, If you’re an economist, C++ is the programming language for you http://www.itworld.com/article/2696218/big-data/if-you-re-an-economist--c---is-the-programming-language-for-you.html
[www3] Syme Don, Why is Microsoft investing in Functional Programming?, http://cufp.org/archive/2008/slides/SymeDon.pdf
Journal of Economic Development, Environment and People by Authors is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Based on a work at http://ojs.spiruharet.ro/index.php/jedep/issue/archive.