Next: The Magma Environment
Up: The Magma Language and
Previous: The Magma Language and
- Imperative language with standard imperative-style statements
and procedures
- A functional subset providing closures, higher-order functions, and
partial evaluation
- General aggregate data types based on algebraic notions: set,
sequence, mapping, magma
- Universal structure constructors providing a general mechanism for
the construction of magmas and mappings
- Simple but powerful notation for constructing sets and sequences
in a natural mathematical style
- Set and sequence operations which are implemented with a strong
emphasis on efficiency
- Coercion between magmas (including automatic coercion)
- A package mechanism to support modular program construction