Categoria
12 guide
Coldwast ha scritto
Jun 24, 2026 in Programmazione, Concetti, Haskell - Una funzione di ordine superiore riceve una funzione come argomento o ne restituisce una come risultato. Cos’è una funzione di ordine superiore, perché map, filter e fold sono gli esempi classici, come sostituiscono i cicli e come appaiono in Haskell.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Haskell, Concetti - Haskell è un linguaggio puramente funzionale, a tipizzazione statica e pigro, con una potente inferenza dei tipi. Le idee che lo definiscono - purezza, immutabilità, pigrizia, tipi forti -, a cosa serve e come iniziare.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Haskell, Sintassi - Una list comprehension costruisce una lista a partire da generatori con guardie opzionali - concisa e vicina alla notazione insiemistica. Sintassi, generatori multipli, guardie e il loro rapporto con map e filter.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Haskell, Concetti - Haskell calcola un valore solo quando serve davvero. Cos'è la valutazione pigra, i thunk, le strutture dati infinite, la trappola dei memory leak e come forzare la valutazione stretta con seq e BangPatterns.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Haskell, Concetti - Una monade concatena calcoli che portano un contesto - Maybe, Either, IO, liste. Cos'è davvero, bind (>>=) e return e la notazione do, con chiarezza.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Haskell, Compilatore - Cos'è GHC, l'installazione con GHCup, l'uso di GHCi, i flag che contano (-O2, -Wall, -threaded, -j) e come si integra con Cabal e Stack.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Haskell, Editor - Cosa fa HLS, l'installazione con GHCup, l'integrazione in VS Code e Neovim, l'allineamento con il tuo GHC e come risolvere gli errori più comuni.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Haskell, Toolchain - GHCup è il modo consigliato per installare GHC, Cabal, Stack e HLS nel 2026 - installazione pulita, cambio di versione e le insidie più comuni per chi inizia.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Haskell, Cabal, Build - Cabal e Stack sono i due modi principali per costruire progetti Haskell. Cosa sono, in cosa differiscono (Hackage vs Stackage, riproducibilità, gestione di GHC), i comandi equivalenti e come scegliere nel 2026.
Continua a leggere…Coldwast ha scritto
Jun 13, 2026 in Haskell, Cabal, Build - L'idea di isolamento per progetto ha vinto così a fondo da diventare invisibile. Cos'erano i sandbox e il flusso di build di Cabal in stile nix che li ha sostituiti.
Continua a leggere…Coldwast ha scritto
Jun 13, 2026 in Haskell, Cabal, Build - Build in stile nix, Backpack, l'operatore caret e un solver migliore - cosa ha introdotto la 2.0 e dove si trova ogni funzionalità nel toolchain del 2026.
Continua a leggere…Coldwast ha scritto
Jun 13, 2026 in Haskell, Prestazioni - Perché un build è un grafo di dipendenze, come i build con -j usano i tuoi core e la moderna soluzione a semaforo dei job contro il sovraccarico su alberi di dipendenze ampi.
Continua a leggere…