Haskell · concetti · monadi

Le monadi in Haskell, spiegate senza gergo

«Monade» ha una reputazione spaventosa che non merita. Spogliata del gergo, una monade in Haskell è semplicemente un tipo che ti permette di sequenziare calcoli che portano un certo contesto — un possibile fallimento, un effetto collaterale, più risultati — senza scrivere a mano l’impalcatura ogni volta. Questa guida spiega cos’è davvero una monade, le due operazioni che la definiscono, la do-notation e le monadi di tutti i giorni che già usi.

L’idea in una frase

Una monade è un tipo dotato di un modo per concatenare passi in cui ogni passo dipende dal risultato del precedente, e in cui il «contesto» (fallimento, effetti, non-determinismo) viene propagato automaticamente. Tutto qui. I famosi tipi Maybe, Either, IO e lista sono tutti monadi perché ciascuno definisce questa concatenazione per il proprio tipo di contesto.

Le due operazioni

La typeclass Monad è definita da due funzioni:

return :: a -> m a          -- wrap a plain value into the monad
(>>=)  :: m a -> (a -> m b) -> m b   -- "bind": feed the result into the next step

>>= (che si pronuncia «bind») ne è il cuore: prende un valore in contesto e una funzione che produce il valore successivo in contesto, e li assembla — gestendo il contesto per te.

do-notation: la stessa cosa, in forma leggibile

I blocchi do sono solo zucchero sopra >>=. Questi sono equivalenti:

-- with bind
getLine >>= \name -> putStrLn ("Hi " ++ name)

-- with do-notation
do name <- getLine
   putStrLn ("Hi " ++ name)

La do-notation ti permette di scrivere codice sequenziato che porta contesto e che si legge come passi imperativi pur restando puramente funzionale.

Le monadi che già usi

• Maybe — il contesto è «potrebbe essere assente». Bind va in corto circuito su Nothing, così concateni ricerche senza controlli di null annidati.
• Either — il contesto è «potrebbe fallire con un errore». Come Maybe ma porta la ragione del fallimento.
• IO — il contesto è «esegue effetti collaterali». La monade IO è il modo in cui Haskell sequenzia gli effetti restando puro; main :: IO () è il punto d’ingresso.
• Lista ([]) — il contesto è «più risultati». Bind esplora ogni combinazione (non-determinismo).

Usi le monadi fin dal tuo primissimo main — IO è una di esse.

Perché le monadi contano

Ti permettono di astrarre l’impalcatura della gestione dei fallimenti, degli effetti e della sequenziazione in uno schema riutilizzabile, così che lo stesso codice in stile do funzioni attraverso contesti molto diversi. Ecco perché Haskell può tenere IO separato ed esplicito pur restando ergonomico. Per eseguire tutto questo ti serve la toolchain — vedi installare Haskell con GHCup e la guida al compilatore GHC, e prova gli esempi dal vivo in GHCi.

FAQ

Cos’è una monade in termini semplici? Un tipo che ti permette di concatenare calcoli che portano un contesto (fallimento, effetti, risultati multipli), propagando quel contesto automaticamente tramite l’operatore bind.

IO è una monade? Sì — IO è la monade che Haskell usa per sequenziare gli effetti collaterali restando puro. Il tuo main viene eseguito al suo interno.

Serve capire la teoria delle categorie? No. Puoi usare le monadi in modo produttivo in Haskell conoscendo solo return, >>= e la do-notation; la teoria è opzionale.

Qual è la differenza tra Maybe ed Either? Entrambe modellano un possibile fallimento; Maybe dice solo «assente» (Nothing), mentre Either porta un valore di errore che spiega il fallimento.