Objective CAML
aus Wikipedia, der freien Enzyklopädie
| Objective CAML | |
|---|---|
| {{{Logo}}} |
|
| Basisdaten | |
| Paradigmen: | |
| Erscheinungsjahr: | 1996 |
| Designer: | |
| Entwickler: | INRIA |
| Aktuelle Version: | 3.09.3 (18. September 2006) |
| Typisierung: | |
| wichtige Implementierungen: | |
| Dialekte: | |
| Einflüsse: | |
| Beeinflusste: | |
| Betriebssystem: | Plattformunabhängig |
| Lizenz: | Q Public License (Compiler), LGPL (Bibliothek) |
| Website: | http://caml.inria.fr/ |
Objective CAML, auch Ocaml oder O’Caml genannt, ist eine auf der ML-Sprachfamilie basierende Programmiersprache. Sie wird am INRIA unter der Leitung von Xavier Leroy entwickelt. Caml stand ursprünglich für Categorically Abstract Machine Language, basiert aber schon seit langem nicht mehr auf diesem abstrakten Konzept. Zusätzlich zu den funktionalen und imperativen Merkmalen von ML unterstützt Ocaml objektorientierte Konzepte und unterscheidet sich in Details von ML.
Ocaml bietet einen Compiler zur Erzeugung von sowohl Bytecode als auch Maschinencode. Der erzeugte Maschinencode ist sehr effizient (vergleichbar mit C++-Code). Zu den mächtigsten Merkmalen dieser Sprache gehört statische Typisierung (in Verbindung mit Typinferenz), Pattern Matching, ein Mechanismus zur Ausnahmebehandlung und automatische Speicherbereinigung. Ocaml-Distributionen enthalten einige allgemeine Bibliotheken und sind für zahlreiche Plattformen, inklusive Unix und Windows erhältlich.
Ein bekanntes Programm, das in O’Caml geschrieben wurde ist MLDonkey, ein P2P-Client, der auf diversen Betriebssystemen läuft, und auf verschiedene P2P-Netzwerke zugreifen kann.
[Bearbeiten] Beispiel zur funktionalen Programmierung
let rec wiederhole = function | (f, 1) -> (fun x -> f x) | (f, n) -> (fun x -> f ((wiederhole (f, n - 1)) x));; (wiederhole ((fun x -> x + 2), 3)) 1;;
Dieses Beispiel zeigt die Mächtigkeit der funktionalen Programmierung: Die Funktion „wiederhole“ kann eine beliebige Funktion mehrfach auf sich selbst anwenden und ist daher eine Funktion höherer Ordnung. Gleichzeitig ist „wiederhole“ polymorph – der Datentyp der ihr übertragenen Funktion steht im vornherein nicht fest. Typisch für OCaml ist das Pattern Matching, die durch das Zeichen „|“ gekennzeichnete Fallunterscheidung. Im Beispiel wird die Funktion „addiere zwei“ dreifach auf die Zahl 1 angewendet. Der Interpreter gibt 7 aus.
[Bearbeiten] Siehe auch
- Standard ML
- F#, ein Ocaml-Compiler für Microsoft .NET
- EML, eine andere objektorientierte Erweiterung von ML
- O’Haskell, eine objektorientierte Erweiterung von Haskell, einer funktionalen Sprache, die nicht zur Familie der ML-Sprachen gehört
[Bearbeiten] Weblinks
- Offizielle O’Caml-Website (englisch)
- Materialien zu O’Caml (englisch)
- O’Caml-Tutorial (englisch)
- Camelia – eine IDE für O’Caml
- GODI - ebenfalls eine IDE
- (X)Emacs O’Caml-Modus
