A modular mathematical programming language

A new modular mathematical programming language M2001 is introduced. It is designed to serve as an expository/pedagogical language, used for the development and the presentation of algorithmic processes, as found in the full range of mathematical discourse - from the modern discrete to the classical continuous mathematics. Built on a semantical framework based in the theory of categories, the M2001 language has a Pascal/Modula-like syntax, but uses the class concept only as a fully-encapsulated, built-in apparatus for handling the traditional mathematical structures and classical computer science (abstract) data types, as found in the elementary applications of the early undergraduate mathematics curriculum. The (categorical) semantic interpretation of the language is outlined, and a complete set of syntax diagrams is presented in an accompanying Appendix.