Objective CAML, auch Ocaml oder O'Caml genannt, ist eine auf der ML-Sprachfamilie basierende Entwicklung. 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 bieten sowohl einen Bytecode als auch einen Compiler. Dieser Compiler ist auf zahlreichen Plattformen verfügbar. Geschwindigkeitsmäßig ist der Code vergleichbar mit C++-Code.
Zu den mächtigsten Merkmalen dieser Sprache gehört statische Typisierung, Pattern Matching, ein Mechanismus zur Ausnahmebehandlung und automatische Speicherverwaltung. Ocaml Distributionen enthalten einige allgemeine Bibliotheken und sind für zahlreiche Plattformen, inklusive Unix und Windows, erhältlich.
|
