Vai al contenuto

Videocorso OCaml CGFA

Un linguaggio funzionale veloce e sicuro, dai primi programmi al calcolo in parallelo

  • Partenza: Base
  • 14 ore con gli esercizi
  • 10 lezioni in 3 livelli
  • 2 lezioni gratis
Inizia la prima lezioneSblocca il corso

A chi serve

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

Cosa serve per iniziare

  • 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

Cosa installare

opamIl 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 5Il compilatore, nella versione 5.x (la 5.4 o successiva), che introduce il calcolo parallelo. Si installa con opam
duneLo strumento standard per compilare i progetti: "dune build", "dune exec", "dune test". Si installa con "opam install dune"
utop e Visual Studio Codeutop è 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

  • 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

Programma del corso

10 lezioni in 3 livelli. Ogni lezione: video, spiegazione, codice da copiare o provare, esercizio con soluzione e quiz.

1

Base

Installazione, valori, funzioni, liste e pattern matching

1Il tuo primo programma OCamlInstallare opam e OCaml, provare le espressioni e lanciare il primo programma.Gratis20 min2Valori, tipi e funzioniDare un nome ai valori, conoscere int e float e scrivere funzioni.Gratis25 min3Liste e tupleUsare liste e tuple con il modulo List: map, filter, fold_left.25 min4Pattern matching e ricorsioneScrivere funzioni con match e let rec, anche sulle liste.30 min
2

Intermedio

Tipi varianti, record, funzioni di ordine superiore, moduli

1Tipi varianti, record e optionDefinire tipi con type, usare i record e gestire i valori mancanti con option.30 min2Funzioni di ordine superiore e pipePassare funzioni come valori, applicarle in parte e comporre con l'operatore pipe.30 min3Moduli, interfacce e MapOrganizzare il codice con moduli e firme e usare Map di libreria.30 min
3

Avanzato

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

1Codice imperativo, Hashtbl e fileUsare ref, cicli, array, tabelle hash e leggere e scrivere file.35 min2Errori con result e progetti duneGestire gli errori con result e let*, e creare un progetto con dune e test.35 min3OCaml 5: calcolo in parallelo con i dominiUsare Domain e Atomic per sfruttare più core del processore.35 min

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.

I passi

  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.

Esame e attestato

Alla fine del corso fai l'esame: 15 domande, serve il 75% di risposte giuste. Superato l'esame ottieni l'attestato stampabile con nome, ore, punteggio e un codice di controllo che chiunque può verificare.

Vai all'esame

Glossario di OCaml

opam
Il gestore dei pacchetti e delle versioni di OCaml.
dune
Lo strumento standard per compilare, avviare e collaudare i progetti OCaml.
Immutabile
Un valore che, una volta creato, non cambia più.
Inferenza di tipo
La capacità del compilatore di capire i tipi da solo, senza che tu li scriva.
Pattern matching
Scegliere il ramo di un match in base alla forma del valore.
Ricorsione
Una funzione che richiama se stessa su un problema più piccolo, fino al caso base.
Tipo variante
Un tipo che elenca alternative, ciascuna con eventuali dati, definito con type.
option
Il tipo che rappresenta un valore che può mancare: Some valore oppure None.
result
Il tipo che rappresenta un successo, Ok, o un errore con il suo motivo, Error.
Modulo
Un raggruppamento di tipi e funzioni; ogni file .ml è un modulo.
Funtore
Una funzione che prende un modulo e ne restituisce un altro, come Map.Make.
Dominio
L'unità di calcolo parallelo di OCaml 5, che gira su un core del processore.

Le prime 2 lezioni sono gratis

Per il corso completo, scuole e aziende: chiedi le condizioni.

Inizia oraRichiedi maggiori informazioni