ReadMeFeed / Community knowledge
Real questions. Useful conversations. Find the people who know your stack.
Languages & runtimes · #haskell
StrictData flips Haskell’s default to strict fields, preventing space leaks and enabling unboxing. Learn when to use it, how to migrate modules, and the trade‑offs involved in this practical engineering decision.
GHC's DerivingVia extension (since 8.6) lets you compose typeclass instances without boilerplate newtype wrappers. A practical walkthrough with JSON encoding example, role restrictions, and a verification checklist.
Learn how to balance Haskell's lazy evaluation with strictness annotations to prevent space leaks and implement efficient infinite data structures.
A decision guide for Haskell developers choosing between forkIO, async, and STM for concurrency, featuring a comparison table and a concrete STM implementation.
ApplicativeDo lets GHC rewrite eligible do‑blocks as applicative expressions, reducing overhead while preserving semantics.
GHC LinearTypes lets the type checker enforce single-use resource handling at compile time, with no runtime overhead.
Use Haskell’s `newtype` to enforce type safety without runtime overhead. Learn how to define wrappers, derive instances, and avoid accidental type mixing in real‑world code.
A practical diagnostic guide for Haskell space leaks from lazy evaluation and IO pipelines, using RTS stats, heap profiling, and targeted strictness fixes.
Learn how Haskell’s `newtype` gives zero‑cost type safety for lightweight wrappers. Discover a concrete `UserId` example, performance checks, trade‑offs, and actionable steps for real‑world projects.