Coldwast ha scritto
Jun 14, 2026 in Programmazione, Concetti — Un algoritmo è una procedura finita, passo dopo passo, che trasforma un input in un output. Le sue proprietà chiave, esempi quotidiani e in codice, perché conta l'efficienza (Big-O) e la differenza con un programma.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Programmazione, Web, Dati — JSON è un formato di testo leggero e leggibile per dati strutturati — la lingua che parlano la maggior parte delle API web e dei file di configurazione. La sua sintassi, perché è ovunque, il confronto con XML e i suoi limiti onesti.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Programmazione, Web, Concetti — Un'API è un contratto che permette a un software di comunicare con un altro. I tipi principali (web/REST, libreria, SO), come funzionano una richiesta e una risposta web e perché le API sono ovunque nel software moderno.
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 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…