Static and strong typing for extended Mathematica
1997 (English)In: Innovation in Mathematics: Proceedings of the Second International Mathematica Symposium, 1997, 153-160 p.Conference paper (Refereed)
There are at least three reasons why a static type system is a useful extension to Mathematica: A type checker can find errors during software development in Mathematica; Object oriented typing is useful for handling complexity when building large applications or equation-based simulation models; Precise static type information is needed for efficient internal compilation of Mathematica as well as for automatic translation to efficient code in languages such as C++ or Fortran. This paper presents a short overview of the syntax and semantics as well as rationale for a static type system designed to be well integrated into Mathematica. A static type system makes it possible to find type errors in the whole program before execution starts, in contrast to the standard dynamic type checking of Mathematica which only finds type errors in parts of the program during execution. The type system includes basic types, array types, record types, typed variables, typed functions and object oriented constructs. The syntax of the type extensions is standard Mathematica, and the implementation is entirely within Mathematica.
Place, publisher, year, edition, pages
1997. 153-160 p.
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:liu:diva-110155OAI: oai:DiVA.org:liu-110155DiVA: diva2:743183
Second International Mathematica Symposium, IMS-97, Rovaniemi Institute of Technology, Rovaniemi, Finland, June 29 - July 4, 1997