|
|
|
last edited 2 years ago by test1 |
Edit detail for FriCAS compiler revision 7 of 7
| 1 2 3 4 5 6 7 | ||
|
Editor: test1
Time: 2022/06/01 17:29:53 GMT+0 |
||
| Note: | ||
changed: -documentation is in FriCAS book http://fricas.github.io/book.pdf However, there are changes, some mentioned and up to date documentation is in FriCAS book at http://fricas.github.io/book.pdf There are changes compared to earlier versions and older documentation, some mentioned
The language used for programming FriCAS is called Spad. Currently most detailed and up to date documentation is in FriCAS book at http://fricas.github.io/book.pdf There are changes compared to earlier versions and older documentation, 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.