M2001

Le M2001 est un langage de programmation mathématique modulaire de du visé au développement et à la présentation du &mdash mathématique d'algorithmes ; du discret moderne aux mathématiques continues classiques. M2001 est construit sur un cadre sémantique qui est basé dans la théorie de catégorie de et a une syntaxe semblable à celle du Pascal ou du Modula-2 .

Avaient eu après avoir été conçu pour les pourposes, l'efficacité et la facilité pédagogiques purs de l'exécution de M2001 loin moins important dans son développement que la généralité et l'étendue des applications. M2001 a été créé pour jouer un rôle important en établissant une base algorithmique formelle pour les étudiants de première année de maths d'université.

Vue d'ensemble

Basé sur un arrangement de saisie multicouche, M2001 inclut une collection de huit types informatiques et des autres de de six types structurés par . Au-dessus de ces deux, respectivement, de collections de classes mathématiques de et de classes abstraites de ont été construits, ce dernier entourant les types de données abstraits du le plus utilisé généralement dans le de l'informatique :

liste rationomial polynôme de file d'attente de pile de matrice digraphe de graphique d'arbre d'ordre de série de powerseries MATHEMATICAL CLASSES ABSTRACT CLASSES | | | | | | +-------------------------+---------------------+ | | | subdomain exponentiel de corde réglée de somme de produit STRUCTURED TYPES | | | texte complexe raisonnable de nombre entier normal booléen de caractère vrai COMPUTATIONAL TYPES

Les deux couches inférieures de la méthode de typage de M2001 ont été basées sur le langage de programmation appelé expérimental plus tôt de CAT .