Objective Caml

Da Wikipedia, l'enciclopedia libera.

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 si ricordano 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.

Indice 1 Caratteristiche 2 Uso 3 Voci correlate 4 Collegamenti esterni 5 Esempi di codice 5.1 Hello, world! 5.2 99 bottiglie di birra

[modifica] Caratteristiche

O'Caml si distingue dagli altri linguaggi della famiglia ML per le prestazioni. 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. Il sistema ad oggetti fornisce ereditarietà multipla, costruzione diretta di oggetti (specificando i metodi che sono unici per quel oggetto) o da classi, e structural subtyping (oggetti sono di tipo compatibile se i loro metodi sono compatibili, a prescindere da cosa siano deriviati)

Le caratteristiche di O'Caml sono bilanciate tra l'espressività e le nuove caratteristiche da una parte e la facilità di interfacciamento con sistemi e librerie pre-esistenti dall'altra. O'Caml contiene il supporto per funzioni comuni ad altri linguaggi, come printf e per interfaccie esterne che permettono un facile linking con primitive C, incluso il supporto per la gestione efficiente di array di numeri in un formato compatibile sia con il C/C++ che con il FORTRAN

Il software fornito a corredo di O'Caml prevede un potente preprocessore (che permette estensioni sintattiche), un debugger (che permette l'analisi a ritroso degli errori), un generatore di documentazione, un profiler e altre numerose librerie di uso comune. Il compilatore è disponibile per un numero di piattaforme elevato, incluso Unix, Windows e Macintosh, con la possibilità di generare codice nativo per tutte le principali architetture (IA-32, PowerPC, AMD64, SPARC, IA-64, Alpha, HP-PA, MIPS, StrongARM), fornendo così una buona portabilità.

[modifica] Uso

O'Caml è usato in un gran numero di applicazioni, che includono sistemi per provare teoremi e per analizzare programmi. È usato anche in applicazioni come MLDonkey (un popolare programma P2P che supporta numerosi protocollo) e Unison File Synchronizer.

Programmi scritti in O'Caml hanno vinto ripetutamente il ICFP programming contest.

O'Caml è usato anche come linguaggio introduttivo in numerose università, incluse la EPITA, École Normale Supérieure, Caltech, Brown University e l'Università di Pisa.

[modifica] Voci correlate

• Standard ML
• F Sharp, un compilatore simil-O'Caml per Microsoft .NET
• EML, un'altra estensione del linguaggio ML
• en:O'Haskell an object-oriented extension to Haskell, un linguaggio funzionale diverso da O'Caml

[modifica] Collegamenti esterni

• (EN) Pagina ufficiale della famiglia di linguaggi Caml
• (FR) Pagina ufficiale della famiglia di linguaggi Caml
• (EN) Tutorial O'Caml per programmatori C, C++, Java e Perl
• (EN) Confronto di prestazioni tra diversi linguaggi
• (EN) Unison File Synchronizer
• (EN) Developing applications with Objective CAML
• (EN) Interfaccia GTK+

[modifica] Esempi di codice

[modifica] Hello, world!

Il seguente esempio stampa il testo "Hello world".

  let main () =
     print_endline "Hello World";;

[modifica] 99 bottiglie di birra

open Printf 

let bottiglie = function
  | 0 -> "non c'e' nessuna bottiglia di birra"
  | 1 -> "c'e' una bottiglia di birra"
  | n -> sprintf "ci sono %d bottiglie di birra" n

let verso n =
  let corrente = bottiglie n and prossimo = bottiglie (n - 1) in
  let primaLinea = sprintf "%s sulla parete, %s.\n" corrente corrente in
  let secondaLinea = "Prendine una, passala in giro,\n" in
  let terzaLinea = sprintf "e %s sulla parete!\n" prossimo in
  primaLinea ^ secondaLinea ^ terzaLinea  

let cantaCanzone () =
  for n = 99 downto 1 do
    print_endline (verso n)
  done;; 

cantaCanzone()

Principali linguaggi di programmazione (tutti)

Ada | ALGOL | APL | Awk | BASIC | C | C++ | C# | COBOL | Delphi | Eiffel | Fortran | Haskell | IDL | Java | JavaScript | J# | Lisp | LOGO | ML | Objective C | O'Caml | Pascal | Perl | PHP | PL/I | PLaSM | Prolog | Python | Ruby | SAS | Scheme | sh | Simula | Smalltalk | SQL | Visual Basic