This paper describes an original approach to semantics representation based on the use of a non-strict functional programming language with polymorphic typing. This approach provides a unified formalism needing no pre...
详细信息
This paper describes an original approach to semantics representation based on the use of a non-strict functional programming language with polymorphic typing. This approach provides a unified formalism needing no preprocessing or postprocessing to the functional language itself: parsing and semantics are declared naturally using function definition and evaluation is done by lambda application along the lines of Montague. We show that by changing only the model we can, after parsing, compute either the truth value of a sentence or its parse tree.
The construction of flexible tools is a promising area for applications of functional programming. The educational tool Ebnf2ps is a medium-scale real world program that translates grammars into syntax diagrams. Its d...
详细信息
This is the first article in a mini series of two articles on applying C++11 to computational finance. Here we focus on the new syntax and features that improve and enhance the efficiency, reliability, and usability o...
详细信息
This is the first article in a mini series of two articles on applying C++11 to computational finance. Here we focus on the new syntax and features that improve and enhance the efficiency, reliability, and usability of C++ as a language for application development. We introduce the C++ building blocks in the form of data types, containers, and polymorphic function types that allow developers to design applications based on a combination of the object (-oriented), generic, and functional programming styles. In the second article we will introduce a language-independent defined process based on domain architectures (Duffy, 2004) to decompose a software system into loosely coupled subsystems, each of which has a single responsibility and having well-defined interfaces to and from other subsystems. Having created a design blueprint (similar to an architectural drawing), we then implement the subsystems using the multiparadigm programming features in C++. We then design and implement a Monte Carlo option pricing framework in C++11 by mapping a specific domain architecture to C++11. We also show how the same design blueprint can be implemented in C#.
暂无评论