Videocorso OCaml CGFA — Un linguaggio funzionale veloce e sicuro, dai primi programmi al calcolo in parallelo

Pubblicato il 30 Ottobre 2026 · Aggiornato il 30 Ottobre 2026 · Autore: CityGraph Napoli (Claudia D'Urso, titolare)

Guarda la presentazione del videocorso OCaml

Apri le prime 2 lezioni gratis · Scarica il video in MP4

Perché imparare OCaml

OCaml è un linguaggio funzionale veloce e molto sicuro: grandi società di trading lo usano per codice che non può sbagliare, e con lui sono scritti compilatori e strumenti di analisi del codice. Impararlo apre la strada anche a F#, Haskell e Rust. Il corso parte dalle basi e arriva a progetti con dune, gestione degli errori con result e calcolo in parallelo con i domini di OCaml 5.

A chi è rivolto

Il corso è pensato per: studenti e sviluppatori che hanno già scritto qualche programma e vogliono un linguaggio pulito, rapido e molto sicuro, usato in finanza, strumenti per sviluppatori e compilatori. Partenza: Base.

• Un computer Windows, Mac o Linux (su Windows conviene WSL)
• Aver già scritto qualche programma in un altro linguaggio
• Un po' di pazienza con il terminale

Il programma: 10 lezioni in 3 livelli

Circa 14 ore di studio con gli esercizi, in lezioni da 20 a 35 minuti. Le prime 2 sono gratis.

Base: Installazione, valori, funzioni, liste e pattern matching

• Il tuo primo programma OCaml (20 min, gratis): Installare opam e OCaml, provare le espressioni e lanciare il primo programma.
• Valori, tipi e funzioni (25 min, gratis): Dare un nome ai valori, conoscere int e float e scrivere funzioni.
• Liste e tuple (25 min): Usare liste e tuple con il modulo List: map, filter, fold_left.
• Pattern matching e ricorsione (30 min): Scrivere funzioni con match e let rec, anche sulle liste.

Intermedio: Tipi varianti, record, funzioni di ordine superiore, moduli

• Tipi varianti, record e option (30 min): Definire tipi con type, usare i record e gestire i valori mancanti con option.
• Funzioni di ordine superiore e pipe (30 min): Passare funzioni come valori, applicarle in parte e comporre con l'operatore pipe.
• Moduli, interfacce e Map (30 min): Organizzare il codice con moduli e firme e usare Map di libreria.

Avanzato: Codice imperativo, errori con result, progetti dune e calcolo parallelo

• Codice imperativo, Hashtbl e file (35 min): Usare ref, cicli, array, tabelle hash e leggere e scrivere file.
• Errori con result e progetti dune (35 min): Gestire gli errori con result e let*, e creare un progetto con dune e test.
• OCaml 5: calcolo in parallelo con i domini (35 min): Usare Domain e Atomic per sfruttare più core del processore.

Il progetto finale: Cassa della bottega: scontrino da terminale

Costruisci un programma OCaml che prende gli articoli di una bottega napoletana, calcola il totale di ogni riga, applica lo sconto sopra i cento euro e stampa uno scontrino ordinato, dentro un progetto dune con un test.

1. Crea il progetto con dune init project bottega.
2. Definisci il record riga con articolo, quantità e prezzo.
3. Scrivi totale_riga e sconto_carrello e mettili in una libreria.
4. Ordina le righe per nome con List.sort e stampa lo scontrino con Printf.
5. Aggiungi un test con assert che verifichi lo sconto.
6. Estensione: leggi gli articoli da un file di testo con In_channel.

Cosa ti serve

• opam: Il gestore dei pacchetti e delle versioni di OCaml, gratuito da opam.ocaml.org. Con "opam init" prepari l'ambiente e con "opam install" aggiungi le librerie. Su Windows si consiglia WSL (Linux dentro Windows)
• OCaml 5: Il compilatore, nella versione 5.x (la 5.4 o successiva), che introduce il calcolo parallelo. Si installa con opam
• dune: Lo strumento standard per compilare i progetti: "dune build", "dune exec", "dune test". Si installa con "opam install dune"
• utop e Visual Studio Code: utop è una console interattiva comoda (opam install utop). In VS Code installa l'estensione "OCaml Platform" per vedere i tipi mentre scrivi

A cosa ti serve dopo il corso

• Finanza e trading: OCaml è usato in grandi società di trading per codice veloce e affidabile
• Compilatori, analizzatori di codice e strumenti per sviluppatori
• Verifica formale e ricerca (Coq, Frama-C, Infer sono scritti in OCaml)
• Backend e strumenti da riga di comando
• Base solida per Reason, F#, Haskell, Rust

Come si studia

• Video breve per ogni lezione, con i sottotitoli e il testo del video da leggere.
• Spiegazione scritta con esempi italiani (prezzi in euro, negozi, città) e codice da copiare con un tocco.
• Esercizio con la soluzione, appunti personali e quiz di tre domande per segnare la lezione come fatta.
• Esame finale di 15 domande (si supera con il 75%) e attestato stampabile con codice di controllo verificabile.
• App installabile su PC, tablet e telefono: niente account, i progressi restano sul dispositivo e si salvano con il backup.

Per privati, scuole e aziende

• Singolo corso: per chi vuole imparare un linguaggio, con tutte le lezioni, il progetto finale, l'esame e l'attestato.
• Tutti i corsi: l'accesso a tutto il catalogo CGFA Academy, per passare da un linguaggio all'altro quando vuoi.
• Aziende: formazione dei dipendenti su programmazione, dati, automazione e scrittura, con gli attestati nel registro.
• Scuole e centri di formazione: licenza per sede, per le classi e i laboratori, con la verifica dei codici degli attestati.
• White label: l'Academy con il nome, i colori e il dominio di chi la offre, per enti di formazione, agenzie e consulenti.

Le condizioni si concordano in base alle persone da formare: scrivici con Richiedi maggiori informazioni o su WhatsApp.

L'attestato è un attestato di frequenza con codice di controllo, non un titolo di studio né una certificazione pubblica. I programmi indicati nel corso sono gratuiti o già presenti nel computer, salvo dove è scritto diversamente.