M2001 - Programming language

M2001 is a programming language created in 2001.

#1551on 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...

M2001 Wikipedia page
M2001 first developed 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