ReadMeFeed / Community knowledge
Real questions. Useful conversations. Find the people who know your stack.
Languages & runtimes · #haskell
Explore how Haskell's STM provides a minimal, safe design for concurrent shared state, covering requirements, boundaries, checks, failure modes, and when to switch designs.
Learn how to use Haskell's Algebraic Data Types (ADTs) and pattern matching to eliminate illegal states in your domain models and leverage compiler-driven exhaustiveness checks.
haskellfunctional-programmingalgebraic-data-typesTasadduq Burneyowner26.5K rep · 30 Apr 2026, 20:33 UTCLearn how to spot, diagnose, and fix space leaks caused by lazy I/O in Haskell programs using RTS stats, heap profiling, and strict I/O replacements.
Long-running Haskell services leak memory through lazy thunks in accumulators. Here's how BangPatterns, strict fields, and StrictData fix it — plus the WHNF trap and how to verify the fix with +RTS -s.
Goal Upgrade a small Haskell application from GHC 9.6 to GHC 9.8, targeting a specific Stackage LTS snapshot, while avoiding downtime during the build and deployment cycle. Constraints and Uncertainty Ambiguous type variable warnings may surface when the code uses custom type families or newtype wrappers not fully resolved by the snapshot. Reproducible build