Language

The main features of the user language of Magma are:

Imperative language with standard imperative-style statements and procedures
A functional subset providing closures, higher-order functions, and partial evaluation
Dynamic typing
General aggregate data types corresponding to the fundamental concepts of algebra: set, sequence, mapping, magma
Universal structure constructors providing a general mechanism for constructing magmas
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)