OCaml è un linguaggio di programmazione che implementa diversi paradigmi di programmazione, in primo luogo funzionale, imperativo e orientato agli oggetti. Può essere compilato nel codice binario nativo della piattaforma, compilato in bytecode oppure interpretato. E’ di tipizzazione statica e tutti i dati hanno un tipo fissato che non può essere modificato durante l’esecuzione del programma.

E’ stato progettato per essere veloce, efficente e moderato nelle sue esigenze delle risorse di sistema (processore, memoria). Non solo l’esecuzione dei programmi OCaml è veloce, lo è anche lo sviluppo del codice. Grazie alla deduzione automatica dei tipi di dato e ad altre caratteristiche della sintassi concisa, viene evitata la prolissità caratteristica di molti altri linguaggi a tipizzazione statica. Il programma si scrive più velocemente, ci sono meno distrazioni sintattiche e alla fine il programma risulta più leggibile e più facile da mantenere.

La presenza di preprocessore da la possibilità di creare delle estensioni sintattiche, per esempio quelle dei dominii applicativi.

OCaml è un linguaggio di programmazione a uso generale, ma il campo dove splende veramente è quello dell’ analisi dei teoremi e dei programmi. Per esempio, Frama C (che sta per “Framework for Modular Analysis of C programs”), utilizzato per analisi statiche dei programmi scritti in linguaggio C al fine di controllare che il programma rispecchi le specifiche formali, è scritto in OCaml.

Un altro utilizzo dove OCaml si è dimostrato una scelta vincente, è l’ambito finanziario. Ad ogni modo, ovunque ci sia bisogno di un linguaggio snello, performante ed affidabile, OCaml è un candidato serio.

Se la vostra azienda ha bisogno di un linguaggio così, noi ve lo possiamo insegnare.