Category:SPAD

From Rosetta Code
Language
SPAD
This programming language may be used to instruct a computer to perform a task.
Garbage collected: Yes
Type strength: Strong
Type checking: Static
See Also:
Listed below are all of the tasks on Rosetta Code which have been solved using SPAD.
Your Help Needed
If you know SPAD, please write code for some of the tasks not implemented in SPAD.

SPAD is programming language used by the Fricas Computer Algebra System (as well as by Axiom and OpenAxiom). It is a multiparadigm language with second order dependent types. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy and is used in compiler - or interpreter mode.