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

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.