Ocaml linguaggio di programmazione | |
---|---|
Autore | INRIA |
Data di origine | 1996 |
Ultima versione | 5.2.0 (13 maggio 2024) |
Utilizzo | Generico (alta efficienza) |
Paradigmi | Multi-Paradigma, Imperativa, Funzionale, Object-Oriented |
Tipizzazione | Statica, Forte, Inferenza di tipo |
Estensioni comuni | .ml |
Influenzato da | Standard ML |
Implementazione di riferimento | |
Sistema operativo | Multipiattaforma |
Licenza | Q Public License e GNU LGPL v2.1 |
Sito web | ocaml.org/ |
OCaml[1] è un avanzato linguaggio di programmazione appartenente alla famiglia di linguaggi di programmazione ML. È sviluppato e distribuito come software open source dalla INRIA. O'Caml è stato creato nel 1996 come successore del CAML. Tra i suoi autori si ricordano Xavier Leroy, Jerome Vouillon e Damien Doligez.
La sigla CAML originariamente derivava da Categorical Abstract Machine Language, mentre la O iniziale è stata aggiunta per sottolineare l'estensione ad oggetti del nuovo linguaggio.
O'Caml condivide le caratteristiche dei linguaggi funzionali e di quelli imperativi, ma contiene elementi di programmazione orientata agli oggetti e alcune differenze sintattiche.