Programming Language


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.

This site is a portal to the Aldor community. It provides information about the Aldor programming language, its compiler and libraries, downloads for software and documentation, a community Wiki and bug tracking tools.


August 31, 2007 -- Source Release
  • Version 1.1 of Aldor has been released in source form under the Aldor Public License 2.0. This allows free non-commercial use, modification and re-distribution of Aldor software.
July 29, 2007 -- 2007 Workshop
  • The 2007 Aldor Workshop will be held 20-31 August in London Canada, hosted by the the Ontario Research Centre for Computer Algebra at the University of Western Ontario. This continues the tradition of earlier meetings held in the Orkney Islands (Scotland), London (Canada), Lille (France) and Santander (Spain).

    The format of this workshop is as an extended meeting, with time for presentations, discussions and on-site collaboration with colleagues. Participants will include users and developers of Aldor. Those interested in the workshop should send E-mail to workshop2007 at, indicating the desired dates to attend. There is no cost to register. Partial travel support may be available on a case-by-case basis.

May 2, 2007
  • Four bugs remain until Aldor v1.1.0 release candidate 2;
Feb. 19, 2007
  • v. 1.1-rc (bug fixes) released;


Aldor Wiki
Refer to the Aldor wiki for links to documentation, and information about projects related to Aldor.

Mailing List
Subscribe to the Aldor mailing list here.

Bug Report
Follow this link to the bug report form. (You will need to sign up for an account.)


Source Release

Aldor sources are now available for non-commercial purposes, under the Aldor Public License Version 2.0. The sources may be retrieved from the SVN server (see "Development" below) and following the instructions in the README.building file. Documentation for the language and libraries is available from the Aldor Wiki documentation page. Applications requiring other licensing terms should contact proposals at

The following libraries have been compiled and tested with earlier versions of the Aldor compiler:
  • Algebra (note that this library is already included in the compiler distribution)
  • Libaldor (note that this library is already included in the compiler distribution)
  • Piit
  • Sumit

Pre-built Compilers
How to download prebuilt executiable versions of the Aldor compiler:

  • Step 1. Click here to get to the license page.
  • Step 2. Read the license. If you don't accept it, there will be no download.
  • Step 3. Choose your OS
  • Step 4. Download


Public Subversion Repository
To obtain a full source tree do:
   svn co aldor


Please visit the contact page.

© 2007  |  All Rights Reserved.