help links subscribe changes refresh edit

	FriCAS language
FriCAS Syntax ←	↑	→ FriCASInterpreter

FriCAS compiler

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.