Functional Concepts in C++

Download pdf----Here-----Functional Concepts in C++
Functional Concepts in C++


Abstract
We describe a parser-translator programthat translates typed l-terms into C++ classes
so as to integrate functional concepts. We prove the correctness of the translation of
l-terms into C++ with respect to a denotational semantics using Kripke-style logical
relations. We introduce a general technique for introducing lazy evaluation into
C++, and illustrate it by carrying out in C++ the example of computing the Fibonacci
numbers efficiently using infinite streams and lazy evaluation. Finally, we show how
merge higher-order l-terms with imperative C++ code.


INTRODUCTION
TRANSLATION OF TYPED l-TERMS INTO C++
PROOF OF CORRECTNESS
LAZY EVALUATION IN C++
COMBINING FUNCTIONAL AND IMPERATIVE PROGRAMMING