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

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.




  Subject:   Be Bold !!
  ( 14 subscribers )  
Please rate this page: