Coldwast wrote
Jun 14, 2026 in Haskell, Lists, Syntax — A list comprehension builds a list from one or more generators with optional guards — concise, readable, and close to mathematical set-builder notation. The syntax, multiple generators, guards, and how they relate to map and filter.
Read more…Coldwast wrote
Jun 14, 2026 in Haskell, Monads, Concepts — A monad in Haskell is a type that sequences computations carrying context — Maybe, Either, IO, lists. What a monad really is, bind (>>=) and return, do-notation, and the common monads, explained plainly.
Read more…Coldwast wrote
Jun 14, 2026 in Haskell, Laziness, Concepts — Lazy evaluation means Haskell computes a value only when it is actually needed — not when it is defined. What lazy evaluation is, thunks, why it enables infinite data structures, the space-leak trap, and how to force strictness with seq and BangPatterns.
Read more…Coldwast wrote
Jun 14, 2026 in Haskell, Cabal, Stack — Cabal and Stack are the two main ways to build Haskell projects. What each one is, how they differ (Hackage vs Stackage, reproducibility, GHC management), the equivalent commands, and how to choose in 2026.
Read more…Coldwast wrote
Jun 14, 2026 in Algorithm, Concepts, Cs — An algorithm is a finite, step-by-step procedure that turns input into a desired output. What an algorithm is, its key properties, everyday and code examples, why efficiency (Big-O) matters, and how it differs from a program.
Read more…Coldwast wrote
Jun 14, 2026 in Api, Web, Concepts — An API is a contract that lets one piece of software talk to another. What an API is, the main kinds (web/REST, library, OS), how a web API request and response work, and why APIs are everywhere in modern software.
Read more…Coldwast wrote
Jun 14, 2026 in Git, Tools, Workflow — Git is a distributed version-control system that tracks every change to your code so you can branch, merge, collaborate and undo. What Git is, the core concepts (commit, branch, merge, remote), why it matters, and how it differs from GitHub.
Read more…Coldwast wrote
Jun 14, 2026 in Haskell, Functional, Intro — Haskell is a purely functional, statically typed, lazy programming language with powerful type inference. What Haskell is, the ideas that define it — purity, immutability, laziness, strong types — what it is used for, and how to start.
Read more…Coldwast wrote
Jun 14, 2026 in Json, Data, Web — JSON is a lightweight, human-readable text format for structured data — the language most web APIs and config files speak. What JSON is, its syntax, why it is everywhere, how it compares to XML, and its honest limits.
Read more…Coldwast wrote
Jun 14, 2026 in Sql, Databases, Data — SQL is the standard language for storing, querying and changing data in relational databases. What SQL is, the core commands (SELECT, INSERT, UPDATE, DELETE), how a query works, SQL vs NoSQL, and why it is still essential in 2026.
Read more…Coldwast wrote
Sep 9, 2017 in Haskell, Cabal, Build — A community-updated guide to Cabal 2.0 (2017) — nix-style local builds, Backpack mixins, the caret-version operator and a better solver — and how each of those features stands in the 2026 toolchain.
Read more…Coldwast wrote
Aug 20, 2013 in Haskell, Cabal, Build — A modern, community-updated guide to Cabal sandboxes — the per-project dependency isolation introduced in cabal-install 1.18 — and the nix-style v2-build workflow that replaced them in today\
Read more…