Coldwast ha scritto
Jun 14, 2026 in Programmazione, Dati, Database — SQL è il linguaggio standard per archiviare, interrogare e modificare i dati nei database relazionali. I comandi chiave (SELECT, INSERT, UPDATE, DELETE), come funziona una query, SQL vs NoSQL e perché è ancora essenziale nel 2026.
Continua a leggere…Coldwast ha scritto
Jun 14, 2026 in Programmazione, Strumenti, Flusso di lavoro — Git è un sistema di controllo di versione distribuito che registra ogni modifica al tuo codice per creare branch, unire, collaborare e annullare. I concetti chiave (commit, branch, merge, remote), il flusso di lavoro quotidiano e la differenza con GitHub.
Continua a leggere…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…