Tag
This article explores techniques to emulate inline assembly in Haskell/GHC for invoking obscure CPU instructions and efficiently returning multiple values from foreign functions, using examples like widening multiplication and carry-less multiplication.
This post shares a Haskell technique for type-checked non-empty strings using GHC's RequiredTypeArguments, achieving compile-time validation and a ~10% build-time improvement in a large codebase.
The GHC team outlines progress on making GHC upgrades easier, focusing on the Big Stability Goal and Base Package Goal to decouple the base package from compiler releases.
The article explores the optimal ApplicativeDo scheduling problem in GHC, which is disabled by default due to slowness, and draws an analogy to the dynamic programming algorithm used for RNA folding to improve compiler performance.
This technical blog post details the status and usage of exception annotations in GHC versions 9.10 to 10.0, covering backtrace types and debugging strategies for Haskell developers.