login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for FriCAS compiler revision 4 of 7

1 2 3 4 5 6 7
Editor: test1
Time: 2016/02/10 14:39:02 GMT+0
Note:

added:
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 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.


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 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.

See also: A very brief introduction to programming in SPAD.