Moderne Programmiersprachen

Programmiersprachen ...

• sind das wichtigste Werkzeig eines Software-Entwicklers.
• bestimmen die Art zu Denken (wenn die Sapir–Whorf-Hypothese stimmt).

Es gibt ...

• Programmiersprachen
• Domänenspezifische Sprachen
• Modellierungssprachen

Welche Sprache(n) sollte verwendet werden?

• Das ist im Einzelfall zu entscheiden und hängt vom Projekt und vom Wissen der Team-Mitglieder ab.

D 2.0

D 2.0 ist wie C/C++ eine systemnahe Sprache, besitzt aber Garbage-Collection und bietet zusätzlich zur imperativen und objektorientierten Programmierung auch funktionale Programmierung und das Actor-Modell.

Erlang

Erlang ist im Kern eine funktionale und nebenläufige Sprache mit strikter Auswertung und einem dynamischen Typsystem.

Groovy

Groovy ist eine dynamisch getypte Sprache und eine Erweiterung von Java.

Haskell

Haskell ist eine reine funktionale Programmiersprache. Ich habe meine Diplomarbeit über geometrische Algorithmen in dieser Sprache geschrieben.

Python

Python vereint Eigenschaften aus imperativen, funktionalen und objekt-orientierten Sprachen und ist dynamisch getypt.

Ruby

Ruby ist eine dynamisch getypte und objektorientierte Sprache, die oft in der Webentwicklung eingesetzt wird.

Scala

Scala ist statisch getypt und vereint Objekt-Orientierung mit funktionaler Programmierung. Für mich die interessanteste und modernste Sprache (Stand 2011).

Die folgenden Sprachen sind alle noch in der Entwicklung. Hier ist noch nicht abzusehen, ob sie mal erfolgreich werden.

Chapel

Chapel ist eine imperative parallele Programmiersprache und hat eine interessantes Konzept namens Domain Maps, um Datenstrukturen auf einzelne Prozessoren zu verteilen.

Fortress

Fortress ist eine recht neue Spezifikation der nächsten Generation von Programmiersprachen. Die Sprache ist so fortgeschritten, so dass es noch keine fertige Implementierung gibt.

X10

X10 wurde von IBM entwickelt und unterstützt natürlich die Hardware von IBM, insbesondere die "partitioned global address spaces" (PGAS).

Java

In den frühen Neunzigern habe ich oft von einem interpretierten C++ geträumt. Denn der Entwicklungszyklus war sehr langsam: Kodieren, Kompilen (dauerte sehr lange), Programm laufen lassen, Crash (weil ein Zeiger ins Nirwana zeigte) und dann den Rechner rebooten (dauerte noch länger), usw. Dann kam Java. Java ist inzwischen sehr alt, wurde aber immer wieder erneuert.

C++

Eine neue Version von C++ ist 2011 spezifiert worden. C++ ist überladen und der Entwicklungszyklus ist meistens zu langsam.

Gödel

Gödel, benannt nach dem österreichischen Logiker Kurt Gödel, ist ein deklarative logische Programmiersprache. Gödel-Programme sehen sehr viel besser aus als die äquivalenten Prolog-Programme.

λProlog

λProlog ist eine logische Programmiersprache höherer Ordnung. Es gibt Lambda-Terma (aka Closures) und viele fortgeschritte Features.

Perl

Perl hat von mehreren Unix-Tools der 80er Elemente übernommen (sed, awk, C, Shell-Scripte und Lisp). Ich habe Perl zwischen 1993 und 2005 sehr oft verwendet. Leider sind die geschriebenen Programme nicht immer wiederverwendbar und die Objektorientierung ist eine Katastrophe. Als das Buch "Higher-Order Perl" von Mark Jason Dominus erschien habe ich mir Perl wieder angeguckt. Perl kann mit den neuen Sprachen nicht mithalten. Die neueste Version Perl6 ist in Entwicklung und soll eine Art Neuanfang werden.

Verschiedene veraltete Programmiersprachen, die ich mal benutzt habe.

Basic, C, Eiffel, Forth, GFA Basic, Lisp, Logo, Pascal, Prolog, Scheme, Smalltalk, Turbo Pascal