[Axiom-developer] [Axiom Language]

[Bill Page]

Changes http://page.axiom-developer.org/zope/mathaction/AxiomLanguage/diff
--

++added:
Overloading and Dependent Types

  Many Axiom operations have the same name but different
types and these types can be dependent on other types.
For example
\begin{axiom}
)display operation differentiate
\end{axiom}

We can see how the interpreter resolves the type::

  [14] (D,D1) -> D from D if D has PDRING D1 and D1 has SETCAT

in the following example
\begin{axiom}
)set message bottomup on
differentiate(sin(x),x)
\end{axiom}

Notice that
\begin{axiom}
EXPR INT has PDRING SYMBOL
SYMBOL has SETCAT
\end{axiom}


--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden