M2001 - Programming language

M2001 is a programming language created in 2001.

#2619on PLDB

23Years Old

M2001 is a modular educational mathematical programming language for developing and presenting mathematical algorithms, from the modern discrete to the classical continuous mathematics. M2001 is built on a semantic framework that is based in category theory and has a syntax similar to that of Pascal or Modula-2. It is designed purely for pedagogic use, so efficiency and ease of implementation have been far less important in its development than generality and range of application. Read more on Wikipedia...

Tags: programming language
Early development of M2001 happened in Trinity University
M2001 on HOPL
See also: (2 related languages) Pascal, Modula-2

Example from Wikipedia:

matrix polynomial rationomial                    stack queue list
  powerseries series sequence                      tree graph digraph
  MATHEMATICAL CLASSES                      ABSTRACT CLASSES
            |                                               |
            |                                               |
            |                                               |
            +-------------------------+---------------------+
                                      |
                                      |
                                      |
                product sum set string exponential subdomain
                            STRUCTURED TYPES
                                      |
                                      |
                                      |
       boolean character natural integer rational real complex text
                           COMPUTATIONAL TYPES