Aldor is a strongly-typed imperative language with a two-layer type system (types of "normal" objects are called domains; types of domains are called categories). Types and functions are first-class citizens: they can be vreated and manipulated at run time. Aldor has some unique features, such as dependent types and post-facto extensions. Aldor was created as a new extension language for Axiom computer algebra system. Now it is used in a number of projects unrelated to Axiom, too. It is distributed (in a binary form for x86 linux, alpha osf1, and sparc solaris) by aldor.org, under the terms of aldor public license. It allows use for any purpose and re-distribution without modifications, and contains some restrictions on distributing modified versions. Users have to accept this license in order to use the aldor compiler, therefore, I used RESTRICT="fetch" There is a petition at http://wiki.axiom-developer.org/FreeAldor to make it a free software project, and the leading personalities at aldor.org support this move, but the process moves very slowly. So, for now, let's use the binary distribution. It contains an aldor compiler (which can be used as an interpreter, too), the foundation library libaldor (input-output, data structures, a basis for more advanced mathematical libraries), and libalgebra by Manuel Bronstein (all modern algebra).
Created attachment 85673 [details] dev-lang/aldor/aldor-1.0.3.ebuild
Created attachment 85674 [details] dev-lang/aldor/files/64aldor-1.0.3
Created attachment 85675 [details] dev-lang/aldor-doc/aldor-doc-1.0.3.ebuild
Created attachment 85676 [details] app-emacs/aldor-mode/aldor-mode-1.7.ebuild
Created attachment 85677 [details] licenses/aldor-public-license
Created attachment 85809 [details] app-emacs/aldor-mode/aldor-mode-1.7.ebuild Argh, the previous version did not actually work. This mode can be used with either emacs or xemacs, but installation and some details differ. I use emacs, and this package now installs and works OK (though I don't like the colours used by default, but it's not my busyness to change them). But I don't have xemacs installed, and don't know how to install xemacs modes in Gentoo properly. It would be nice if this package could install the xemacs mode given the proper use flag. Any help from xemacs users will be appreciated.
Created attachment 85810 [details] dev-lang/aldor-doc/aldor-doc-1.0.3.ebuild A better version - now all documentation is in pdf.
Created attachment 85812 [details] dev-lang/aldor/aldor-1.0.3.ebuild Important bug fixes; the file in files/ is no longer needed
Created attachment 85816 [details] app-emacs/aldor-mode/aldor-mode-1.7.ebuild The previous version changed faces globally, not just for this mode. This is not acceptable. Fixed.
Ebuild combining all of the above (with slight improvements) has been committed to http://gentooscience.org/
Currently, aldor sources are unavailable. There is a hope that they will be released with a free license. In such a case, I'll take care of it.
