[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] RE: Static versus Dynamically typed (was:Philosoph

From: William Sit
Subject: Re: [Axiom-developer] RE: Static versus Dynamically typed (was:Philosophy... )
Date: Fri, 23 Sep 2005 07:35:30 -0400

Bill Page wrote:
> >From
> "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.)



reply via email to

[Prev in Thread] Current Thread [Next in Thread]