ocaml

PLEAC-Objective CAML. Wer das Perl Cookbook kennt, ist hieran vielleicht interessiert - es sind einfach die Problemstellungen aus dem Perl Cookbook in Objective Caml. Generell liefert das PLEAC Projekt das gleiche für diverse Programmiersprachen, OCaml ist aber neben Perl und Groovy die einzige Sprache mit 100% Abdeckung.

Opa: Advancing web development to the next generation. Hatte ich glaube ich im alten Blog schon mal, aber was solls - jetzt ist der Code auf github und unter Open Source Lizenz. Und das ganze Projekt ist nicht irgendwas grade frisch rausgekommen - das hat 10 Jahre Forschungseinsatz hinter sich, die Leute wissen wirklich was sie da treiben. Die Idee ist cool (und auch schon von anderen aufgegriffen): eine Sprache, aus der in Webanwendungen alle Schichten erzeugt werden, also auch JavaScript, HTML, CSS und das Backend. Das ganze mit typsicherung und entsprechenden Prüfungen und einer sich zum Beispiel daraus ableitenden Sicherheit vor Injections und XSS Angriffen. Und als Sprache drunter läuft OCaml, was ja auch nicht die schlechteste Sprache ist. Sollte ich mich wirklich mal ernsthaft mit auseinandersetzen, besonders weil verteilte Installation auch gleich mit kommt - und damit eine weitaus einfacherer Scalability gegeben ist als bei vielen anderen Ansätzen (der von OPA erinnert in gewisser Weise an den von Erlang-basierten Systemen). Oh, und Webanwendungen sind dann einfach nur ein einzelnes Executable - und nicht gigantische Verzeichnisstrukturen mit drölfundneunzig XML-Files (oder YAML-Files) zum Anpassen.

pmundkur/odisco. Eine Implementierung für Map/Reduce nach dem Disco Worker Modell in Objective Caml. Sowas gibts auch schon für Python. Falls ich mal wieder mit OCaml rumspielen will.

Archives of the Caml Mailing list: O'Caml for DOS - weil ich gerade mal wieder drüber gestolpert bin. Wow, 96, das ist lange her. Wieso wird OCaml eigentlich immer als so moderne Sprache aufgeführt? Ist doch auch schon 14 Jahre alt ... (und die Sprache auf der OCaml aufsetzt - Caml Light - ist noch älter)

High-Level Virtual Machine (HLVM) - interessantes Projekt für eine virtuelle Maschine. In OCaml geschrieben.

Ocsigen - sieht aus wie etwas zu Ur/Web vergleichbares, das auf der OCaml Toolchain und der Sprache OCaml aufbaut. OCaml hat einige sehr nette Eigenschaften, das könnte also auch interessant sein. Allerdings macht das Projekt einen mehr Baukasten-Eindruck mit mehreren zusammenspielenden Teilen, wie gut die Integration ist, muss sich da erst zeigen. Bei Ur/Web begeistert mich die Tatsache, das ich wirklich nur mit einer Handvoll Files direkt eine Webanwendung zusammenstellen kann, ohne großen Overhead. Auch die Installation aus dem Source von Ur/Web ist simpler, durch die geringe Zahl an Abhängigkeiten. Andererseits ist Ocsigen direkt in Debian verfügbar, was die Installation natürlich deutlich vereinfacht.

We call it OPA - klingt nach der Beschreibung sehr interessant, eine Entwicklungsumgebung für Webservices und Webanwendungen auf Basis von OCaml mit Fokus auf die ganzen nötigen Grundlagen wie XSS Schutz, SQL-Injection-Schutz und ähnlichem.

Cadmium - Introduction - passend zu Cafesterol hier dann die OCAML Runtime in reinem Java. Damit kann man OCAML Bytecode ausführen oder das ganze als Runtime für Cafesterol-compilierte Programme benutzen.

Cafesterol - cool, eine Erweiterung des OCAML Compilers, die Java Bytecode erzeugt. Damit kann man mit OCaml nicht nur die eigene virtuelle Maschine bedienen und natürlich native Code erzeugen, sondern auch direkt in die Java-Welt gehen.

Objective Caml Plugin for Xcode - leider noch nicht mit Unterstützung für Intel-CPUs.

CamlX - GUI shell für Ocaml und Caml Light (wow, das ist ewig her, meine Spielereien mit Caml Light - und die DOS-Portierung von Ocaml 1.0 ..)

HashCaml - eine Erweiterung von Objective Caml, mit der typsicher Daten serialisiert und deserialisiert werden können. Grundlage zum Beispiel für Remote-Function-Calls.

"The Whitespace Thing" for OCaml - Einrückung als Syntax-Element (ala Python und Haskell) für OCaml. Interessant. Wobei allerdings OCaml eh schon nur geringen Syntax-Overhead hat, so das ich das eigentlich nicht für nötig halte.

CamlServ ist ein Webserver in OCaml. Ich habs mir noch nicht genauer angeguckt, aber könnte interessant sein - OCaml ist eine Sprache der ML-Familie (bzw. der ML-ähnlichen Sprachen) mit diversen sehr interessanten Erweiterungen (z.B. einem leistungsfähigen Objektsystem). Leider scheint das Projekt nicht mehr sonderlich aktiv zu sein - letzter Release aus 2003 ...

( Syck ): YAML for Ruby, Python, PHP and OCaml - Noch ein YAML Parser und Emitter - dieser fokussiert auf Komplettheit, Schnelligkeit und Multiplattform