Categoria
10 guide
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 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…