Wirft man C und Haskell in einen Mixer, kommt so etwas wie Kaya heraus. Die noch recht junge Skriptsprache besitzt zwar eine gewöhnungsbedürftige Syntax, bringt dafür aber praktische Konzepte mit, zum Beispiel für die Webprogrammierung.

© Dmitri Lechtchinski, commons.wikimedia.org

Die japanische Nusseibe, Torreya Nucifera oder auch Kaya genannt, wächst im Süden Japans langsam vor sich hin. Ihr extrem hartes Holz dient unter anderem zur Herstellung von Go-Spielbrettern, an denen Edwin Brady und seine Kollegen von der Durham University Computing Society gerne ihre Freizeit verbringen, überdies tauchen Bäume häufig als abstrakter Datentyp auf. Beides zusammen brachte der von ihnen entwickelten Skriptsprache Kaya schließlich ihren Namen ein. Außerdem, so die Meinung der Programmierer, waren alle anderen guten Namen bereits vergeben.

Das Ergebnis hat nicht mehr viel mit dem schlichten Prinzip des Go-Spiels gemein, sondern überrascht mit ungewöhnlichen Konzepten und pfiffigen Details. Beispielsweise der für Skriptsprachen untypische Übersetzungsvorgang. Er fängt Syntaxfehler bereits vor der Ausführung ab, was wiederum Tests erleichtert. Die Syntax ist auch gleich der nächste auffällige Punkt: In Zeiten der Objektorientierung geht Kaya einen Schritt zurück und bedient sich lieber bei der funktionalen Programmierung.

Zugleich wirft Kaya mit umfangreichen Bibliotheken nur so um sich. Neben dem Zugriff auf Datenbanken erlauben sie die Manipulation von Bildern oder eine unkomplizierte Verschlüsselung von wichtigen Daten. Ganz besonders glänzen jedoch die eingebauten Netzwerkfunktionen. Sie gestatten die schnelle Entwicklung von kleinen oder mittelgroßen Webanwendungen. Kaya übernimmt dabei den üblichen Kleinkram wie Session-Management (von Kaya als Zustandsmanagement bezeichnet), den Aufbau von Webseiten oder die Verarbeitung von HTML-Formularen.

Durch entsprechende Sicherheitsmechanismen minimiert die Skriptsprache die Risiken von Cross-Site-Scripting und eingeschmuggeltem Code (Remote Code Execution). Ganz nebenbei bietet Kaya den üblichen Komfort gewohnter Skriptsprachen, etwa Garbage Collection, eine umfangreiche Ausnahmebehandlung (Exception Handling) und die Möglichkeit, externe C-Bibliotheken einzubinden. Wer kompilierte Skripte gar nicht mag, darf Kaya dank des mitgelieferten Interpreters auch wie jede andere Skriptsprache nutzen.

Auf den Projektseiten [1] stellen die Entwickler eine kostenlos nutzbare Referenzimplementierung unter der GPL-Lizenz zur Verfügung. Fertige Pakete gibt es für Linux, Mac OS X und Windows. Damit beweist Kaya seine Plattformunabhängigkeit - die nur voraussetzt, dass auf dem Zielsystem alle von Kaya genutzten Werkzeuge und Bibliotheken bereitstehen. Welche das sind, klärt der Kasten "Kaya-Installation".

Hallo, Kaya

Am Anfang steht das Hallo-Welt-Programm in Listing 1. Der Code dürfte C-Programmieren vertraut vorkommen: Es gibt eine Funktion »main()«, die grundsätzlich immer als Erste nach dem Programmstart ausgeführt wird. Anweisungsblöcke stehen in geschweiften Klammern, während Kommentare mit »//« beginnen oder in »/* ... */« eingefasst sind. »putStrLn()« gehört zur Standardbibliothek und schickt den übergebenen String zur Standardausgabe.

01 program hallowelt;
02 
03 Void main() {
04         // Dies ist ein Kommentar
05         putStrLn("Hallo Welt!");
06 }

Die erste Zeile »program hallowelt« weist den Kaya-Compiler dazu an, aus dem Skript ein normales Programm mit dem Namen »hallowelt« zu erstellen. Die Übersetzung stößt auf der Kommandozeile »kayac hallowelt.k« an.

Im Gegensatz zu vielen anderen Skriptsprachen muss in Kaya der Typ einer Variablen bereits bei der Übersetzung bekannt sein (statische Typisierung). Als Hilfestellung gibt es die so genannte Typableitung (Type Inference). Dabei versucht der Compiler den Typ einer Variablen zu erschließen. Der Programmierer muss Typen somit nur dann angeben, wenn es wirklich notwendig ist. Ein Beispiel dafür zeigt Listing 2.

01 hallo = "Hallo";
02 welt = "Welt!";
03 hallowelt = hallo + welt;
04 putStrLn(hallowelt);

Kaya kennt die üblichen Basistypen wie Ganzzahlen (»Int«), Wahrheitswerte (»Bool«) oder Gleitkommazahlen (»Float«). Gemäß den Kaya-Konventionen beginnen sie immer mit einem Großbuchstaben. Typumwandlungen geschehen recht untypisch in runden Klammern, etwa »textdreissig = String(30);«. Die Dimensionen von Arrays können wegfallen, man verwendet sie einfach je nach Bedarf:

a[0] = 5;
a[1] = a[0] + 10; // a[1] = 15

Dazu gesellen sich ein paar häufig verwendete Kurzschreibweisen. Beispielsweise führen

a = [1,2,3,4,5];
b = [1..5];

jeweils zu einem Array mit fünf Einträgen, das aufsteigend die Zahlen von 1 bis 5 enthält.

Loopings

Besonders nützlich sind diese Abkürzungen in »for«-Schleifen:

for i in [1..x] {
    putStrLn(String(i));
}

Kryptisch wird es jedoch, sobald ein Array als Argument dienen soll:

Void printArray([Int] zahlen) {
    for i in zahlen putStrLn(String(i));
}

Die eckigen Klammern um das »Int« weisen »zahlen« als eindimensionales Array aus. Bei mehrdimensionalen Arrays sind entsprechend mehr Klammern erforderlich, beispielsweise »[[[Int]]]« für ein dreidimensionales Array. Alternativ dürfen C-Programmierer ihre For-Schleifen unter Kaya weiterhin nutzen. Gleiches gilt für »if« und »while«.

Als Beispiel berechnet Listing 3 den größten gemeinsamen Teiler und zeigt nebenbei, dass die Funkionsdeklaration wie in C aussieht. Wenn eine Funktion keine Argumente erhält, darf man bei der Definition die leeren runden Klammern einfach weglassen:

Float pi { return 3.14; }

Das Gleiche gilt für den Aufruf von »putStrLn (String(pi))«.

01 Int ggT(Int a, Int b){
02     if (b == 0) return a;
03     else if (a > b) return ggT(a-b, b);
04     else return ggT(a, b-a);
05 }

Sie können diesen Artikel als PDF für 99 Cent kaufen. Klicken Sie dazu einfach auf eine der beiden Bezahloptionen Paypal oder ClickandBuy.

Wirft man C und Haskell in einen Mixer, kommt so etwas wie Kaya heraus. Die noch recht junge Skriptsprache besitzt zwar eine gewöhnungsbedürftige Syntax, bringt dafür aber praktische Konzepte mit, zum Beispiel für die Webprogrammierung.