Mal wieder eine neue Programmiersprache. Ocaml ist aber was besonderes. Es ist eigentlich eine funktionale Sprache, hat aber auch imparative und objektorrientierte (daher das O) Bestandteile. Das erlaubt einem gewissermaßen das für die Lösung angepasste Paradigma zu wählen.
Spannend ist, dass es sowohl Interpreter, als auch Compiler für Bytecode und native code gibt. Geschwindigkeit soll in der Dimension von C/C++ liegen.
Unter anderem existieren Gtk+ und ODBC Bindings. Sogar ein Ocaml-Plugin für Apache ist verfügbar. Bekannteste Anwendung ist vermutlich mldonkey.
Ich schau erst seit gut einer Woche durch die Tutorials, aber sieht sehr vielversprechend aus.