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

[William Sit]

Bill Page wrote:
> >From http://www.aldor.org
> 
> "From a technical point of perspective, Aldor is a type-complete,
> strongly-typed, imperative programming language with a two-level
> object model of categories and domains (similar to the concept of
> interfaces and classes in Java). Types and functions are first
> class entities allowing them to be constructed and manipulated
> within Aldor programs just like any other value. Pervasive use of
> dependent types allows static checking of dynamic objects and
> provides object-oriented features such as parametric polymorphism."
> 
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.)

Thanks.

William