Io (Programmiersprache)
Aus LexiDict
Io ist eine kompakte Prototypen-basierte, objektorientierte Programmiersprache. Der Erfinder und Hauptentwickler, der Amerikaner Steve Dekorte, legt bei der Entwicklung großen Wert auf Minimalismus, sowohl was die Codegröße als auch die Komplexität der Syntax und den Speicherverbrauch angeht. Das spiegelt sich auch im Motto der Sprache Io – less is more wider. In Io gilt stärker als in anderen Programmiersprachen: „Alles ist ein Objekt“. Die Sprache wurde hauptsächlich von Smalltalk (alle Werte sind Objekte), Self, NewtonScript, Act1 (Prototypen-basierte Vererbung, Actors und Zugriff), Lisp (Code zur Laufzeit betracht- und modifizierbar) und Lua (kompakt, einbettbar) inspiriert.
Interessant an Io ist vor allem der prototypenbasierte Ansatz der objektorientierten Programmierung, bei dem keine Klassen zum Einsatz kommen. Stattdessen werden Objekten sogenannte Prototypen zugewiesen. Nicht existente Methoden oder Felder werden dann automatisch im Prototypen gesucht. Damit definiert sich ein Objekt durch die Eigenschaften seines Prototyps und seine spezifischen Unterschiede in Zustand und Verhalten dem Prototypen gegenüber. Diese Art der objektorientierten Programmierung ähnelt der von JavaScript.
Eine weitere interessante Eigenschaft von Io ist die Verwendung so genannter Actors, um Nebenläufigkeit zu erreichen. Ein Actor ist dabei gleichsam ein „lebendes“ Objekt; es stellt einen leichtgewichtigen Thread dar, der asynchrone Methodenaufrufe in einer Queue speichert und dann einen nach dem anderen ausführt. Synchronisationsprobleme können damit elegant umgangen werden. Ein solcher asynchroner Methodenaufruf liefert als Ergebnis eine transparente Future zurück. Diese Future blockiert Zugriffe, bis tatsächlich ein Wert vorliegt und wird dann das Ergebnis.
Io wird, wie andere Skriptsprachen auch, in einen AST übersetzt. Der Parser ist in C geschrieben, eine Io-Version ist in Entwicklung (November 2005). Als Besonderheit besteht dieser AST ausschließlich aus Message-Objekten: Jedes dieser Objekte repräsentiert einen der in OO-Sprachen üblichen Vorgänge des Sendens einer Nachricht an einen Empfänger. Dieser Baum von Nachrichtensendungen kann zur Laufzeit inspiziert und gegebenenfalls auch manipuliert werden. Das ermöglicht es, Lisp-artige Makros zu schreiben.
Der Nachrichtenbaum wird von einer einfachen VM interpretiert, die nur aus rund 10k Zeilen ISO-C-Code besteht. Sie bietet inkrementelle automatische Speicherbereinigung (englisch garbage collection) mit Unterstützung schwacher Referenzen (weak references). Neben dieser Minimal-VM stehen mit Addons für die wichtigsten Anwendungsgebiete erweiterte VMs bereit, darunter reguläre Ausdrücke, ein XML-Parser, Blowfish-Verschlüsselung sowie ein OpenGL-, ein PortAudio- und ein FreeType-Binding. Unterstützte Plattformen sind zur Zeit Mac OS X, Linux, die BSD-Systeme, IRIX, Windows, Symbian OS und L4.
Io steht unter der BSD-Lizenz.