[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Language
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
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]