|
|
|
last edited 1 year ago by test1 |
Edit detail for FriCAS compiler revision 5 of 7
| 1 2 3 4 5 6 7 | ||
|
Editor: test1
Time: 2018/03/18 15:37:39 GMT+0 |
||
| Note: | ||
changed: -- function overloading both argument types and return type - function overloading on both argument types and return type changed: -See also: "A very brief introduction to programming in SPAD":ProgrammingSPAD. For more details see "A very brief introduction to programming in SPAD":ProgrammingSPAD.
The language used for programming FriCAS? is called Spad. Currently most of Axiom documentation still applies, see AxiomCompiler?. However, there are changes, some mentioned at FriCASModifications?.
Spad is an imperative language with functional freatures. It provides:
- normal control structures (but no goto)
- convenient "parallel" iteration
- functions as first class values
- function overloading on both argument types and return type
- parametrised types (which allows type-safe generic programming)
- modular structure for large scale programming: categories, domains and packages
Currently Spad does not support object oriented programming, however generic programming features present in Spad in may cases give similar effect.
For more details see A very brief introduction to programming in SPAD.