Functional Programming Using the New C++ Standard

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

Abstract


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.

Keywords


lambda, combinator, predicate, C++14

Full Text:

PDF HTML

References


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




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

Refbacks

  • There are currently no refbacks.




Copyright (c)




INDEXING

 

Environmental Science Journals,<br /> Natural Science Journals, SciTech Journals, Illustrata: Natural Science ICV 2015: 81.51DOAJREPEC   citefactor researcherid ECONBIZ ERIHPLUS     Sherpa" researchbib Gale Base    

Ulrichs     Stanford    

cornelniv    oclc     Toc     google
    ez3     ilinois sjif ohs 




Administred: Rocsana B. Manea Tonis

http://icourses.wix.com/itmk 

.