zbMATH — the first resource for mathematics

Overview of the Mathemagix type system. (English) Zbl 1352.68306
Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 397-425 (2014).
Summary: 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 detail.
For the entire collection see [Zbl 1309.68008].
68W30 Symbolic computation and algebraic computation
Full Text: DOI