A resource-bounded functional programming language that uses a form of remote procedure call to realize active networking. A functional programming language in which types are first class values.
Normal functions returning types reproduce the features of template classes of other languages.
This site points to numerous projects around the world based on Aldor. A simple functional scripting language for Internet applications. A functional language that aims at the programming of reactive systems and parallel algorithms on distributed memory systems. But also has unique algebraic flavor in the tradition of languages such as CIP-L, Obj, etc. A small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions.