|
|
|
last edited 2 years ago by test1 |
Edit detail for FriCAS compiler revision 6 of 7
| 1 2 3 4 5 6 7 | ||
|
Editor: test1
Time: 2018/05/10 14:54:15 GMT+0 |
||
| Note: | ||
changed: -The language used for programming FriCAS is called Spad. Currently most of Axiom -documentation still applies, see AxiomCompiler. However, there are changes, some mentioned The language used for programming FriCAS is called Spad. Currently most detailed documentation is in FriCAS book http://fricas.github.io/book.pdf However, there are changes, some mentioned added: AxiomCompiler gives some historical context.
The language used for programming FriCAS? is called Spad. Currently most detailed documentation is in FriCAS? book http://fricas.github.io/book.pdf 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. AxiomCompiler? gives some historical context.