Direkt zum Hauptbereich

Konkatenative Programmiersprachen

Mit dem heutigen Tag beginnt offiziell mein Forschungssemester. Mein Thema: "A Model of Computation in Space and Time" -- darüber werde ich vielleicht ein anderes Mal was schreiben.

Was sich in den letzten Wochen mehr und mehr aufdrängt, ist, das ein Schlüssel zu meinem Thema in den konkatenativen Sprachen liegt. Ich weiß es noch nicht sicher, aber mit jedem Tag finde ich mehr und mehr Gründe, mich mit dieser Klasse von Sprachen auseinander zu setzen.

Was, Sie haben noch nie etwas von concatenative languages gehört?

Verwunderlich ist das nicht. Konkatenative Sprachen führen zu unrecht ein vollkommenes Schattendasein. Wenn Sie sich für Ruby, Python, Groovy, Scheme, Lisp, Clojure, Haskell, F#, Prolog begeistern können, dann sollten konkatenative Sprachen wie Joy, Cat und Factor ein gefundenes Fressen für Sie sein. Diese drei Sprachen führen Sie in eine ganz neue Programmierwelt ein.

Konkatenative Sprachen gehören zu den funktionalen Sprachen. Manfred von Thun hat auf seiner Webseite zu Joy einen wunderbaren Satz an Beiträgen zusammengestellt, die behutsam in diese rein funktionale Welt konkatenativer Programmierung mit Joy einführen. Auch die Sprache Cat von Christopher Diggins ist interessant. Cat ist in C# implementiert und ein Studium wert.

Während Joy und Cat mehr Experimentalcharakter haben, ist Factor eine ernstzunehmende Programmiersprache, die der Pragmatik zuliebe auf ein striktes funktionales Paradigma verzichtet. Für mich ist Factor die spannendste Sprache, die am Programmierhorizont zu sichten ist. Ich habe Factor schon ein Weilchen auf dem Radar und schrieb vor einem Jahr "Factor: In der Kürze liegt die Würze". Ihr Schöpfer, Slava Pestov (übrigens hat er auch jEdit entwickelt), wird übermorgen, am 3. März 2009, 25 Jahre alt! Vielleicht mag das insbesondere die Informatik-Studierenden unter meinen Lesern motivieren. Andererseits: Slava Pestovs Biographie liest sich fast wie die eines Wunderkindes, der früh einen Draht zur Mathematik und Informatik fand. Seine Sprache Factor ist so voll gefüllt mit modernen Programmierkonzepten und so intelligent aufgebaut -- ich finde es mehr als beachtlich, wie man so jung derart smart und zielstrebig eine so qualitativ hochwertige Programmiersprache auf die Beine stellen kann, die einen Guido van Rossum (Schöpfer von Python) oder einen Matz (Yukihiro Matsumoto, Schöpfer von Ruby) alt aussehen lassen.

Vielleicht habe ich Sie jetzt ja neugierig gemacht ...

Beliebte Posts aus diesem Blog

Lidl und der Kassen-Bug

Es gibt Fehler, im Informatiker-Jargon "Bugs", die etwas anrühriges haben. Ich bat den Menschen an der Kasse bei Lidl um einen Moment Geduld und meine Kinder um Ruhe, um nicht den wunderbaren Moment zu verpassen, bei dem es passierte. Der Lidl-Mensch fluchte kurz auf -- und ich war entzückt! "Einen Moment, davon muss ich ein Foto machen!" Und dann machte ich noch eines. Ich bin heute extra für diesen Fehler zu Lidl gepilgert -- ich wollte es mit eigenen Augen sehen. Gestern hat mir ein Student (vielen Dank Herr Breyer) von diesem Fehler in einer EMail berichtet. Ein richtig schöner Fehler, ein Klassiker geradezu. Ein Fehler, den man selten zu Gesicht bekommt, so einer mit Museumswert. Dafür wäre ich sogar noch weiter gereist als bis zum nächsten Lidl. Der Fehler tritt auf, wenn Sie an der Kasse Waren im Wert von 0 Euro (Null Euro) bezahlen. Dann streikt das System. Die kurze Einkaufsliste dazu: Geben Sie zwei Pfandflaschen zurück und Lidl steht mit 50 Cent bei Ihne

Syntax und Semantik

Was ist Syntax, was ist Semantik? Diese zwei Begriffe beschäftigen mich immer wieder, siehe zum Beispiel auch " Uniform Syntax " (23. Feb. 2007). Beide Begriffe spielen eine entscheidende Rolle bei jeder Art von maschinell-verarbeitbarer Sprache. Vom Dritten im Bunde, der Pragmatik, will ich an dieser Stelle ganz absehen. Die Syntax bezieht sich auf die Form und die Struktur von Zeichen in einer Sprache, ohne auf die Bedeutung der verwendeten Zeichen in den Formen und Strukturen einzugehen. Syntaktisch korrekte Ausdrücke werden auch als "wohlgeformt" ( well-formed ) bezeichnet. Die Semantik befasst sich mit der Bedeutung syntaktisch korrekter Zeichenfolgen einer Sprache. Im Zusammenhang mit Programmiersprachen bedeutet Semantik die Beschreibung des Verhaltens, das mit einer Interpretation (Auslegung) eines syntaktisch korrekten Ausdrucks verbunden ist. [Die obigen Begriffserläuterungen sind angelehnt an das Buch von Kenneth Slonneger und Barry L. Kurtz: Formal Syn

Factor @ Heilbronn University

It was an experiment -- and it went much better than I had imagined: I used Factor (a concatenative programming language) as the subject of study in a project week at Heilbronn University in a course called "Software Engineering of Complex Systems" (SECS). Maybe we are the first university in the world, where concatenative languages in general and Factor in specific are used and studied. Factor is the most mature concatenative programming language around. Its creator, Slava Pestov, and some few developers have done an excellent job. Why concatenative programming? Why Factor? Over the years I experimented with a lot of different languages and approaches. I ran experiments using Python, Scheme and also Prolog in my course. It turned out that I found myself mainly teaching how to program in Python, Scheme or Prolog (which still is something valuable for the students) instead of covering my main issue of concern: mastering complexity. In another approach I used XML as a tool