Functional Programming  Using the  New C++ Standard

Radu Bucea-Manea-Tonis; Rocsana Tonis (Bucea-Manea)

doi:10.26458/jedep.v4i4.128

Autori

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

DOI:

https://doi.org/10.26458/jedep.v4i4.128

Cuvinte cheie:

lambda, combinator, predicate, C 14

Rezumat

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.

Biografie autor

Rocsana Tonis (Bucea-Manea), Spiru Haret University

Faculty of Marketing and International Business

Referințe

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