The Haskell development roadmap for Dependent Types (DH) will be updated with links to key research papers, including PhD theses by Adam Gundry (2013) and Richard A. Eisenberg (2016), a specification …
Simon Peyton Jones announced a project to produce a new Haskell report, revising the Haskell 2010 language report to account for language changes over the years, aiming to fix the issue that GHC canno…
The Haskell community is adopting faster iteration techniques for type checking and compilation, driven by the rise of agentic coding. Tom Ellis and Laurent P. René de Cotret outline two methods: usin…
A Haskell developer explores methods to invoke low-level CPU instructions from GHC, such as computing the full 128-bit product of two 64-bit integers, despite GHC lacking inline assembly support. The …
A Haskell developer explains that strictness analysis, a denotational concept, does not guarantee a function evaluates its argument on every code path, as demonstrated by the function \x y -> x `seq` …
A Haskell developer seeking reliable documentation for Template Haskell quotation types reports difficulty determining expected types for splices within quotes, such as whether a splice requires `Q Na…
The article discusses the ongoing difficulties with maintaining i386 (32-bit) architecture support in GHCup, including segfaults in Cabal CI and manual builds for Alpine Linux. The author is consideri…
Technical challenges of importing Botan's `BOTAN_HAS_<feature>` support macros for use in Haskell with CPP and conditional compilation. The main obstacles include an indented `#define` in `build.h` th…
Design and efficiency of array libraries in Haskell, with the author expressing skepticism about `Data.Array`'s performance and advocating for simpler wrappers around `Data.Primitive.Array`. The autho…