Next: Testing the Y-Combinator in
Up: A++
Previous: Examples using pre-defined primitives
Contents
New book on A++ and the Lambda Calculus available!
- constitutive principles of A++:
- ARS (basic operations):
- abstraction
- reference
- synthesis
- lexical scope
- closure
- programming paradigms supported:
- functional programming,
(writing expressions to be evaluated),
- object oriented programming
(sending messages to objects),
- imperative programming
(writing statements to be executed), including structured programming.
- logic programming
(rule based programming)
(ARS++ recommended!)
- features directly derived from ARS:
- logical abstractions
(true, false, if, not, and, or),
- numerical abstractions
(natural numbers, zerop, succ, pred, add, sub, mult),
- relational abstractions,
(equalp, gtp, ltp, gep)
- recursion,
- creation and processing of lists
(cons, car, cdr, nil, nullp, llength, remove, nth,
assoc),
- higher order functions
(compose, curry, map, mapc, map2, filter, locate, for-each) ,
- set operations
(memberp, union, addelt),
- iterative control structure ('while'),
- development of applications like `simple account handling' and
`library management'.
Georg Loczewski
2003-08-07