OCaml Konzepte: Einleitung

Geschichte von OCaml : ML wird um 1973 von Robin Milner in Edinburgh entwickelt als Programmiersprache (MetaLanguage) für den LCF Theorembeweiser. 1985 entwickelt Gérard Huet und andere CAML = Categorical Abstract Machine + ML als Implementierungssprache für den CoQ Theorembeweiser am INRIA, Frankreich. 1990 entwickelt Xavier Leroy eine neue sehr effiziente Implementierung von CAML und fügt Objektorientierung hinzu. OCaml = Objective Caml.

OCaml unterstützt alle Konzepte moderner Programmiersprachen.

Dazu gehören:

• Sicherheit einer funktionalen Sprache durch ein streng getyptes Typensystem
• Hohe Flexibilität durch parametrischen Polymorphismus
• Erweiterung durch imperative Konstrukte wie z.B. Seiteneffekte und Modifikation von Datenstrukturen, sowie Kontrollstrukturen wie z.B. Sequenzen und Schleifen
• Exception-Handling (Ausnahmebehandlung)
• Garbage-Collection (automatische Speicherverwaltung)