Videocorso Haskell CGFA — Programmazione funzionale pura: funzioni, tipi forti e codice che si dimostra corretto

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

Guarda la presentazione del videocorso Haskell

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

Perché imparare Haskell

Haskell insegna un modo diverso e potente di ragionare: funzioni pure, tipi forti e codice di cui ci si può fidare. Lo usano banche, fintech e chi scrive compilatori e strumenti dove la correttezza conta, e chi lo impara diventa più bravo anche in Scala, F#, Rust o OCaml. Il corso spiega con calma anche la parte che spaventa di più, le monadi, e arriva a progetti con Cabal e test automatici.

A chi è rivolto

Il corso è pensato per: chi sa già scrivere qualche programma e vuole imparare un modo diverso e potente di ragionare: studenti, sviluppatori curiosi, chi lavora con dati e linguaggi. Partenza: Base.

• Un computer Windows, Mac o Linux
• Aver già scritto qualche programma in un altro linguaggio (basta poco)
• Voglia di ragionare con calma: Haskell premia chi non ha fretta

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: Installare gli strumenti, scrivere funzioni, usare liste e pattern matching

• Il tuo primo programma Haskell (20 min, gratis): Installare GHCup, provare le espressioni in GHCi e compilare il primo programma.
• Tipi e funzioni (25 min, gratis): Conoscere i tipi di base e definire funzioni con la firma di tipo.
• Liste e tuple (25 min): Lavorare con liste, intervalli, comprensioni e tuple.
• Pattern matching, guardie e ricorsione (30 min): Scrivere funzioni con più casi, condizioni e ricorsione.

Intermedio: Tipi algebrici, funzioni di ordine superiore e classi di tipi

• Definire nuovi tipi: data, record e Maybe (30 min): Creare tipi algebrici e record e gestire i valori mancanti con Maybe.
• Funzioni di ordine superiore (30 min): Usare lambda, currying, composizione e le piegature foldr e foldl.
• Classi di tipi: Eq, Ord, Show e le tue (30 min): Capire le typeclass, scrivere istanze e usare Functor.

Avanzato: Monadi, input e output, progetti con Cabal, pigrizia e test

• Monadi senza paura: Maybe, Either e do (35 min): Concatenare calcoli che possono fallire con la notazione do.
• Input e output, moduli, Data.Map e Cabal (35 min): Leggere dall'utente e dai file, usare Data.Map e creare un progetto con Cabal.
• Pigrizia, prestazioni e test con QuickCheck (35 min): Sfruttare la valutazione pigra, evitare accumuli di memoria e collaudare con proprietà.

Il progetto finale: Cassa della bottega: scontrino da riga di comando

Costruisci un piccolo programma che prende un elenco di articoli di una bottega napoletana, calcola il totale di ogni riga, applica uno sconto sopra i cento euro e stampa uno scontrino ordinato in colonne.

1. Crea un progetto con cabal init e scegli un eseguibile.
2. Definisci il record Riga con articolo, quantità e prezzo unitario.
3. Scrivi totaleRiga e scontoCarrello con le guardie.
4. Stampa lo scontrino con printf, ordinando le righe per nome.
5. Aggiungi una proprietà QuickCheck: lo sconto non rende mai il totale più alto.
6. Estensione: leggi gli articoli da un file di testo con readFile.

Cosa ti serve

• GHCup: Installatore ufficiale gratuito da haskell.org/ghcup: mette sul computer il compilatore GHC, Cabal, Stack e il language server. Segui le istruzioni del sito per il tuo sistema
• GHC e GHCi: GHC è il compilatore, GHCi è la console interattiva dove provi le espressioni una alla volta. Arrivano insieme a GHCup, nella versione raccomandata
• Visual Studio Code: Editor gratuito da code.visualstudio.com con l'estensione "Haskell": ti mostra gli errori di tipo mentre scrivi
• Cabal: Lo strumento per creare progetti con più file e scaricare librerie: si installa con GHCup e si usa con il comando cabal

A cosa ti serve dopo il corso

• Elaborazione di dati e compilatori: Haskell eccelle dove serve correttezza
• Finanza e analisi del rischio (banche e fintech usano Haskell da anni)
• Sviluppo backend affidabile e strumenti da riga di comando
• Ricerca, università e linguaggi di programmazione
• Base solida per imparare anche Scala, F#, OCaml, Elm, 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.