Les Objets des Mathématiques
Résumé
Cet article présente les premiers développements du langage FoCal qui ont eu lieu entre 1998 et 2001 afin de concevoir un langage de programmation adapté à la conception et au développement de mathématiques sur ordinateur. En s'appuyant sur les différents traits du langage OCaml, nous avons développé un « modèle » de programmation original permettant à la fois de décrire et d'implanter des mathématiques dans le langage de programmation. Nous décrivons trois « paradigmes » de programmation basés respectivement sur les modules, les classes et les objets d'OCaml pour dégager le modèle FoCal. Ces concepts forment la base du langage FoCal, que nous présentons brièvement. Le langage FoCal offre un cadre pour programmer à la fois de manière concrète et abstraite.