imported>Trustable: -BKH

2026-04-11T00:12:39Z

-BKH

Neue Seite

'''Aldor''' ist eine [[Programmiersprache]], die hauptsächlich im Umfeld von [[Computeralgebrasystem]]en verwendet wird.

== Geschichte ==
Aldor wurde seit 1985 am [[Thomas J. Watson Research Center]] unter Leitung von [[Stephen M. Watt]] entwickelt, ab Anfang der 1990er-Jahre in Kooperation mit der [[Numerical Algorithms Group]]. Anfangs wurde die Sprache als ''A#'' bezeichnet, diente zur Erweiterung von [[Axiom (Software)|Axiom]] und wurde ab 1994<ref>Michael Kaplan: ''[http://books.google.de/books?id=xScb4ehhwIYC Computeralgebra]''. Springer, Berlin/Heidelberg 2005, Seite 329</ref> auch gemeinsam mit Axiom vertrieben. Daraus leitete sich ein weiterer zwischenzeitlicher Name, ''Axiom XL'' (Axiom Extension Language), ab.

1994 wurde der A#-Compiler erstmals der Öffentlichkeit vorgestellt.<ref>Stephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach und Robert S. Sutor: ''[http://www.csd.uwo.ca/~watt/pub/reprints/1994-issac-asharp.pdf A First Report on the A# Compiler] (PDF; 194 kB)''. International Symposium on Symbolic and Algebraic Computation 1994</ref> Dieser Compiler übersetzte Aldor-Programme in eine Zwischensprache namens ''Foam'', für die bereits ein Compiler existierte. Damit konnten sowohl eigenständige Programme als auch [[Programmbibliothek]]en erstellt werden. Zusätzlich konnte auch [[C (Programmiersprache)|C-]] und [[LISP]]-Code generiert werden. Der Compiler selbst war überwiegend in C, zu einem kleinen Teil auch in A# geschrieben und war unter [[MS-DOS|DOS]], [[Unix]], [[OS/2]] und weiteren Betriebssystemen lauffähig.

Seit 1999 kann Aldor auch zusammen mit [[C++]] verwendet werden. Aldor-Programme können in C++ geschriebenen Code nutzen, außerdem erzeugt der Compiler auf Wunsch die nötigen Schnittstellen, um in Aldor geschriebene Teilprogramme aus einem C++-Programm heraus aufzurufen.<ref>Yannis Chicha, Florence Defaix und Stephen Watt: ''[http://www.csd.uwo.ca/~watt/pub/reprints/1999-frisco-interop.pdf Interoperability of Languages with Generics, using Aldor, C++ and Java] (PDF; 108 kB)''. Frisco Workshop 1999</ref>

Seit 2001 wird Aldor unabhängig von Axiom über eine eigene Webseite vertrieben. 2004 wurde eine Schnittstelle veröffentlicht, die es ermöglicht, Aldor auch mit [[Maple (Software)|Maple]] einzusetzen.<ref>Cosmin Oancea und Stephen M. Watt: ''[http://www.csd.uwo.ca/~watt/pub/reprints/2004-eaca-mapal.pdf A Framework for Using Aldor Libraries with Maple] (PDF; 83 kB)''. Actas de los Encuentros de Algebra Computacional y Aplicaciones 2004</ref>

An der [[University of Kent]] wurde ''Aldor--'' entwickelt, eine [[Funktionale Programmierung|funktionale Sprache]], die auf einer Teilmenge der Sprache Aldor basiert.<ref>Simon Thompson und Leonid Timochouk: ''[http://www.cs.kent.ac.uk/people/staff/sjt/Atypical/amm.ps The Aldor-- Language]''. Computing Laboratory, University of Kent at Canterbury</ref>

== Spracheigenschaften ==
Die Syntax von Aldor ist durch [[Pascal (Programmiersprache)|Pascal]] beeinflusst. Optional wird wie bei [[Python (Programmiersprache)|Python]] die Einrückung berücksichtigt.

Aldor besitzt Merkmale sowohl [[Imperative Programmierung|imperativer]] und [[Objektorientierte Programmierung|objektorientierter]] als auch [[Funktionale Programmierung|funktionaler]] Sprache. Das [[Überladen]] von Funktionen und Operatoren wird unterstützt.

=== Typsystem ===
Das [[Typsystem]] ist [[Statische Typisierung|statisch]], [[Implizite Typisierung|implizierend]], nicht [[Typsicherheit|typsicher]] und erlaubt die Verwendung von Typen und Funktionen als [[First-Class-Objekt]]. Wie viele andere funktionale Sprachen verwendet auch Aldor [[starke Typisierung]]. Für Computeralgebrasysteme ist starke Typisierung hingegen ungewöhnlich. Aufgrund des Mathematikbezugs der Sprache ist das Typsystem von Aldor komplexer als die Typsysteme anderer Sprachen.<ref>Erik Poll und Simon Thompson: ''[http://kar.kent.ac.uk/22041/1/Integrating_Computer_Algebra_and_Reasoning_through_the_Type_System_of_Aldor.pdf Integrating Computer Algebra and Reasoning through the Type System of Aldor] (PDF; 337 kB)''. 3rd International Workshop on Frontiers of Combining Systems 2000</ref>

Aldor unterstützt auch [[abhängige Typisierung]]. Dabei handelt es sich um eine Form der Polymorphie, bei der Typen auch von Werten abhängig sein können. Möglich sind damit zum Beispiel Funktionen vom Typ ''(n:Integer) → Vector(n) → Double''. Eine solche Funktion könnte ''avg'' sein, die eine Zahl ''n'' und einen [[Vektor]] mit ''n'' Elementen erhält und daraus den Durchschnitt der Elemente des Vektors berechnet.

Die abhängige Typisierung ist dadurch eingeschränkt, dass eine Auswertung der Werte während der Typprüfung nicht stattfindet. Das führt dazu, dass etwa ''Vector (2)'' und ''Vector (1+1)'' unterschiedliche Typen sind.<ref>Erik Poll und Simon Thompson: ''[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.7.1457&rep=rep1&type=ps Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor]''. Computing Laboratory, University of Kent 1998</ref> Abhängige Typisierung gilt heute noch als schwierig und mit statischer Typprüfung nur mit Einschränkungen kombinierbar.<ref>Peter Pepper und Petra Hofstedt: ''Funktionale Programmierung''. Springer, Berlin/Heidelberg 2006, Seite 152</ref>

== Lizenz ==
Aldor ist unter der [[Apache-Lizenz]] veröffentlicht und damit [[freie Software]].

== Beispiel ==
;[[Hallo-Welt-Programm]]
<syntaxhighlight lang="java">
#include "aldor"
#include "aldorio"

stdout << "Hello, world!" << newline;
</syntaxhighlight>

;[[99 Bottles of Beer]]
<syntaxhighlight lang="java">
#include "aldor"
#include "aldorio"

import from Integer, String;

bob(n: Integer): String == {
b: String := " bottle";

if n ~= 1 then b := b + "s";
b + " of beer";
}

main(): () == {
n: Integer := 99;
otw: String := " on the wall";

-- refrain
while n > 0 repeat {
stdout << n << bob(n) << otw << ", " << n << bob(n) << "." << newline;
stdout << "Take one down and pass it around, ";
n := n - 1;
if n > 0 then stdout << n;
else stdout << "no more";
stdout << bob(n) << otw << "." << newline;
stdout << newline;
}

-- last verse
stdout << "No more" << bob(n) << otw << ", no more" << bob(n) << "." << newline;
stdout << "Go to the store and buy some more, ";
n: Integer := 99;
stdout << n << bob(n) << otw << "." << newline;
}

main();
</syntaxhighlight>

== Literatur ==
* Johannes Grabmeier, Erich Kaltofen und Volker Weispfennig: ''[http://books.google.de/books?id=Pnlxei_XfFQC Computer algebra handbook: foundations, applications, systems, Band 1]''. Springer, Berlin/Heidelberg 2003
* Erik Poll and Simon Thompson: ''[http://www.cs.kent.ac.uk/pubs/1999/874/content.ps The Type System of Aldor]''. Technical Report 11-99, Computing Laboratory, University of Kent at Canterbury, July 1999.

== Weblinks ==
* [http://www.aldor.org/ Offizielle Website]

== Einzelnachweise ==
<references />

[[Kategorie:Programmiersprache]]
[[Kategorie:Computeralgebrasystem]]

Aldor (Programmiersprache) - Versionsgeschichte

imported>Trustable: -BKH