OCaml

Objective Caml (OCaml, προφέρεται «Οκάμελ»), ή Αντικειμενοστρεφής Caml, είναι η κύρια υλοποίηση της γλώσσας προγραμματισμού Caml, η οποία δημιουργήθηκε από τον Ξαβιέ Λερουά, τον Ζερόμ Βουιγιόν, τον Νταμιέν Ντολιγιέ, Ντιντιέ Ρεμύ και άλλους, το 1996. Η OCaml είναι λογισμικό ανοικτού κώδικα, η διαχείριση και διατήρηση του οποίου γίνεται κυρίως από το INRIA.

Η γλώσσα OCaml επεκτείνει τον πυρήνα της γλώσσας Caml με αντικειμενοστρεφή στοιχεία.

Τα εργαλεία προγραμματισμού της OCaml περιλαμβάνουν έναν διαδραστικό (interactive) διερμηνέα, έναν μεταγλωττιστή bytecode και έναν μεταγλωττιστή κώδικα μηχανής. Διαθέτει μεγάλη βιβλιοθήκη που την κάνει χρήσιμη για πολλές από τις ίδιες εφαρμογές όπως η Python ή η Perl, καθώς και ένα εύρωστο σύστημα modules και αντικειμενοστραφείς προγραμματιστικές δομές που την κάνουν χρήσιμη και για μεγάλες εφαρμογές.

Η OCaml είναι ο διάδοχος της Caml Light και αποτελεί μέλος της οικογένειας των γλωσσών προγραμματισμού που κατάγονται από την ML. Τα αρχικά CAML αρχικά σήμαιναν Categorical Abstract Machine Language, αν και η OCaml δεν ακολουθεί την ίδια αφαιρετική μηχανή.

Η F#^[1] είναι μια διάλεκτος της OCaml (με αρκετές αλλαγές), που εκτελείται στην πλατφόρμα .NET της Microsoft.