RE: [Axiom-developer] RE: Static versus Dynamically typed (was:Philosophy... )

[Bill Page]

On September 23, 2005 7:36 AM William Sit wrote:
> From www.aldor.org:
> > Types and functions are first class entities allowing them to be
> > constructed and manipulated within Aldor programs just like any
> > other value.
> > 
> Can some Aldor expert expand on this? For example, can functions be
> created, modified, and compiled and called all at run time? (People 
> used to do code modification on assembly languages and may still do,
> but the practice is I think no longer promoted, if not outright banned.)
> 

People certainly still do this, for example in lisp, Python and
Haskell.

I can't speak about Aldor specifically (yet) but I am sure that
it is possible.

In Axiom it is possible. See for example section 9.50 MakeFunction
in the Axiom book. There are numerous other examples of this in
Axiom.

Regards,
Bill Page.