Non si può dire sia un linguaggio adatto a principianti, non tanto per la difficoltà di apprenderne le basi quanto per le complessità con cui si possono affrontare i progetti più impegnativi.
Ha dalla sua una natura multi-paradigma (funzionale, imperativo, orientato agli oggetti) che non si trova in altri linguaggi, la forte tipizzazione statica con deduzione dei tipi, l’alta efficienza grazie ai compilatori nativi e al runtime efficiente, e la facile interoperabilità con il codice C.
Il manualetto allegato descrive le basi del linguaggio e introduce il neofita al vasto mondo di OCaml.
Il documento è liberamente scaricabile, stampabile e distribuibile.