Overview of the Mathemagix type system

Joris van der Hoeven (1)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

The goal of the Mathemagix project is to develop a new and free software for computer algebra and computer analysis, based on a strongly typed and compiled language. In this paper, we focus on the underlying type system of this language, which allows for heavy overloading, including parameterized overloading with parameters in so called "categories". The exposition is informal and aims at giving the reader an overview of the main concepts, ideas and differences with existing languages. In a forthcoming paper, we intend to describe the formal semantics of the type system in more details.

Mots clés: Mathemagix; type system; overloading; parametric polymorphism; language design; computer algebra

Domaines: Logiciel mathématique [cs.MS]

Joris van der Hoeven. Overview of the Mathemagix type system. 2012. ⟨hal-00702634v2⟩