Bottiglia birra

Objective Caml, conosciuto anche con il nome di OCaml o O'Caml , è 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 bisogna ricordare Xavier Leroy, Jerome Vouillon and 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.

Caratteristiche

O'Caml si distingue dagli altri linguaggi della famiglia ML per le prestazioni. Iris Birra - La birra del Parco del Cilento ::. Il sistema di runtime è stato disegnato per essere veloce, efficiente ed avere poche richieste di memoria. O'Caml fornisce un compilatore bytecode, un interprete a riga di comando e un compilatore di codice nativo ottimizzato. Il codice generato dal compilatore nativo è tipicamente paragonabile al C/C++ nella efficienza algoritmica. Per vedere degli esempi The Computer Language Shootout Benchmarks.

Caratteristiche molto potenti del linguaggio sono un sistema di tipi statico, la deduzione del tipo delle variabili, il polimorfismo parametrico, la tail recursion, il pattern matching, le first class lexical closures, l'uso dei functors (parametric modules), la gestione delle eccezioni, e un garbage collection incrementale. È anche molto conciso nella sintassi.