__NOTOC__
Algebraist is a parallel development site for Aldor.
ldor is a programming language with an expressive type system well-suited for mathematical computing and which has been used to develop a number of computer algebra libraries. Originally known as A#, Aldor was conceived as an extension language for the Axiom system, but is now used more in other settings.In Aldor, types and functions are first class values that can be constructed and manipulated within programs. Pervasive support for dependent types allows static checking of dynamic objects. What does this mean for a normal user? Aldor solves many difficulties encountered in widely-used object-oriented programming languages. It allows programs to use a natural style, combining the more attractive and powerful properties of functional, object-oriented and aspect-oriented styles.
For more information about Aldor see: http://www.aldor.org
With Aldor: See A First Course on Aldor with libaldor by Peter Broadbery and Manuel Bronstein March 8, 2002.
With Origo: If you haven't used this site before a good place to start is the Origo Documentation. In particular the short paper "Release early and often: Developing Software with Origo" written by Till G. Bay, Manuel Oriol and Bertrand Meyer contains a section entitled "2. USING ORIGO" which summarizes the Origo development model this way:
To become a project user, simply login or register with Origo.
To become a project member, after registering with Origo please send a message to the project owner.
We are also actively looking for additional Aldor developers who would like to become co-owners of the Algebraist project. To apply for co-ownership please send a message to billpage.
Algebraist FAQ
Algebraist Network
TheAlgebraist Community
(Algebraist origin) from The Algebraist by Ian M. Banks