Aplusplus

A++ ist eine Programmiersprache, deren Minimalismus kaum zu übertreffen ist. Ihr einziger Zweck ist es, an der Programmierung Interessierten zu helfen, so schnell und effizient wie nur möglich das Wesentliche der Programmierung zu erfassen.

Wesen und Zweck

Ein zur Verfügung gestellter Interpreter soll dabei behilflich sein, das Gelernte anzuwenden und zu testen.

In keiner der in einführenden Kursen üblicherweise benutzten Programmiersprachen werden Lernende gezwungen sich mit dem Wesentlichen der Programmierung so intensiv auseinanderzusetzen wie in A++.

Der Vorteil dieses rigorosen Vorgehens besteht darin, dass in kurzer Zeit Denkmuster eingeübt werden, die einen befähigen, sich müheloser in die großen populären Programmiersprachen einzuarbeiten und in diesen in kurzer Zeit produktiv zu werden.

Ursprung

A++ ist aus dem Lambda-Kalkül von Alonzo Church entstanden.

Der Name A++ ist eine Abkürzung von Abstraktion plus Referenz plus Synthese. Hiermit werden die drei Prinzipien von A++ benannt, die gleichzeitig ihr einziger Inhalt sind.

Diese Prinzipien stellen eine Verallgemeinerung der Grundoperationen des Lambda-Kalküls dar.

Verallgemeinerung des Lambda-Kalküls

Ausgehend von den Grundoperationen des Lambda-Kalküls gelangen wir durch einen Schritt der Verallgemeinerung zu den drei Primitivoperationen von A++.

Der Schritt der Verallgemeinerung besteht darin, dass den Primitivoperationen von A++ jedwede Einschränkung genommen wird:

• Abstraktion: Etwas einen Namen geben
• Referenz: Auf etwas mit seinem Namen Bezug nehmen
• Synthese: Aus zwei oder mehr Dingen etwas Neues erzeugen

In A++ ist im Begriff der Abstraktion eine explizite Namensvergabe an jeder beliebigen Stelle in einem Programm erlaubt.

Im Lambda-Kalkül dagegen ist nur eine implizite Namensvergabe im Zusammenhang mit einer Synthese von Lambda-Ausdrücken vorgesehen.

Die Auswirkungen dieses zunächst als klein erscheinenden Unterschiedes sind gewaltig:

• Während ein Ausbau des Lambda-Kalküls immer in die Funktionalen Programmiersprachen mündet,
• können in A++ alle drei Programmierstile zum Ausdruck gebracht werden, nämlich der funktionale, der objekt-orientierte und der imperative Programmierstil.

Konstitutive Prinzipien

Abstraktion, Referenz und Synthese als Begriffe entsprechen den sprachlichen Strukturelementen und den Grundoperationen in A++.

Zu den konstitutiven Prinzipien, d.h. den Prinzipien, die A++ wesentlich zu dem machen, was es ist, gehören außerdem noch die Begriffe "Closure" und "Lexical Scope".

• Abstraktion
• Referenz
• Synthese
• Closure
• Lexical Scope

Weitere Eigenschaften

Elementarteilchen der Programmierung

In A++ werden die Elementarteilchen der Programmierung in reinster Form sichtbar gemacht. Man kann sie gründlich studieren und den richtigen Umgang mit ihnen einüben.

Programmierung wird vereinfacht

Energien, die in den meisten Sprachen für die Beherrschung und das Einhalten der Syntax aufgebracht werden müssen, kommen in A++ der wichtigeren Aufgabe der logischen Bewältigung des zu lösenden Problems zugute.

A++ bietet Denkmuster an

Das Denken wird aus den Niederungen des komplexen Regelwerks einer bestimmten Programmiersprache herausgeholt und heraufgehoben auf die Höhen eines einfacheren, umfassenderen und deshalb mächtigeren Denkens.

Zusammenfassung der Eigenschaften von A++

• konstitutive Prinzipien von A++:
• • ARS (grundlegende Operationen):
  • • Abstraktion
    • Referenz
    • Synthese
  • Lexical Scope
  • Closure
• unterstützte Paradigmen der Programmierung:
• • funktionale Programmierung,
  • • (das Schreiben von auszuwertenden Ausdrücken),
  • objekt-orientierte Programmierung
  • • (das Senden von Botschaften an Objekte),
  • imperative programming
  • • (das Schreiben von auszuführenden Anweisungen), einschließlich der strukturierten Programmierung.
  • logische Programmierung
  • • (regel-basierte Programmierung) (hier empfiehlt sich jedoch ARS++ !)
• aus ARS direkt abgeleitete Eigenschaften:
• • logische Abstraktionen
  • • (true, false, if, not, and, or),
  • numerische Abstraktionen
  • • (natural numbers, zerop, succ, pred, add, sub, mult),
  • relationale Abstraktionen,
  • • (equalp, gtp, ltp, gep)
  • Rekursion,
  • die Erzeugung und Verarbeitung von Listen
  • • (cons, car, cdr, nil, nullp, llength, remove, nth, assoc),
  • Funktionen höherer Ordnung
  • • (compose, curry, map, mapc, map2, filter, locate, for-each),
  • Mengenoperationen
  • • (memberp, union, addelt),
  • iterative Programmstruktur('while'),
  • Entwicklung von Anwendungen wie einfache Kontenverwaltung und Bibliotheksverwaltung.

Weblinks

• Offizielle Web-Site von A++
• Georg P. Loczewski, The Lambda Calculus and A++
  

Siehe auch:ARS-basierte Programmierung, ARS++, ARSAPI, Programmiersprachen zu Ausbildungszwecken