Rovinato dall'informatica già a otto anni, sono un sincero appassionato della programmazione ed un curioso sperimentatore di linguaggi. Professionalmente prima ho lavorato come consulente in grosse realtà industriali (Progetto Typhoon, settore Difesa, Ada95; Nokia-Siemens Network, telecom, C++&Qt, Perl, Java) e ho toccato con mano alcuni aspetti della gestione di grossi progetti software.

Successivamente mi resi conto che "da grande" non avrei voluto assomigliare a Dilbert, e così apro insieme a tre amici un piccolo Studio di Ingegneria, lo Studio 4Sigma. OCaml ha catturato la mia attenzione nel 2005 per la sua pulizia ma anche per l'accento sul pragmatismo e l'efficienza: lo uso sia per lavoro sia per le mie sperimentazioni.

La programmazione funzionale riscuote da qualche tempo molta attenzione da parte di quella parte di programmatori che è più attenta alle novità. Molti sostengono che non si tratta tuttavia di niente di nuovo rispetto al LISP, nato più di 50 anni fa.

Queste sono asserzioni superficiali perché sarebbe come affermare che Python non introduce nulla di nuovo, essendo un linguaggio imperativo come FORTRAN, nato più di 50 anni fa.

In realtà da quei tempi sono cambiate molte cose, e nuovi linguaggi funzionali hanno cambiato significativamente le potenzialità del paradigma funzionale.

Non si intende fornire una visione esaustiva sul linguaggio Objective Caml, pari ad un corso, ma piuttosto fornirne uno sguardo d'insieme, una serie di esempi ed alcune risorse a cui rivolgersi per approfondire l'argomento.