OCaml

Ocaml
linguaggio di programmazione
AutoreINRIA
Data di origine1996
Ultima versione5.2.0 (13 maggio 2024)
UtilizzoGenerico (alta efficienza)
ParadigmiMulti-Paradigma, Imperativa, Funzionale, Object-Oriented
TipizzazioneStatica, Forte, Inferenza di tipo
Estensioni comuni.ml
Influenzato daStandard ML
Implementazione di riferimento
Sistema operativoMultipiattaforma
LicenzaQ Public License e GNU LGPL v2.1
Sito webocaml.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.

  1. ^ Un tempo chiamato Objective Caml e conosciuto anche come O'Caml, ma rinominato nel 2011 (cfr. https://ocaml.org/learn/history.html/#ObjectiveCaml Archiviato il 5 aprile 2019 in Internet Archive.).

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by razib.in