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)

Subscreens

• Category
• Comments
• Expression
• Functions, Procedures, and Mappings
• Identifiers and variables
• Operators
• Statements