Author(s)

Peter Fritzson

Abstract

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 Math- ematica', Object oriented typing is useful for handling complexity when building large applications or equation-based simulation models; Precise static type informa- tion is needed for efficient internal compilation of Mathematica as well as for auto- matic 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 ra- tionale 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 c

Keywords