Tag
Mutation testing is now generally available in the sydtest Haskell testing framework, enabling developers to automatically verify test suite quality by generating code mutations and checking that tests catch them. The author was motivated by the rise of AI-generated code (via Claude) and the need for an objective, automated measure of test coverage.
H2JVM is a Haskell library that allows developers to write JVM bytecode directly in Haskell, enabling low-level JVM manipulation.
Explores the concept of static analysis using applicative functors in Haskell, contrasting with monads, and discusses interpreting code in data-agnostic contexts for analysis without executing effects.
This paper presents a technique for composing data types and functions from independent components, and extends the approach to combine free monads, enabling a modular structuring of Haskell's IO monad.
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.
An introductory literate Haskell document exploring the relationship between coalgebras and automata, demonstrating how state machines can be modeled using fold and unfold operations within category theory.
Jack Kelly provides an end-to-end example and talk slides for deploying Haskell functions as AWS Lambda using OCI containers and OpenTofu.
Announcing feed-repeat v1.0, a self-hostable tool that reposts old articles from RSS/Atom feeds into a new feed for spaced repetition.
The Haskell Foundation provides an update on its activities and initiatives for the year 2026.
Hsrs is a type-safe FFI bindings generator that allows Rust code to be called from Haskell with automatic memory management, type conversions, and Borsh serialization. It provides annotations in Rust and generates idiomatic Haskell wrappers.
This blog post provides a toy Haskell implementation of profunctor equipment, including natural transformations and composition, to make category-theoretic concepts accessible to programmers.
Accelerate is an embedded domain-specific language in Haskell for high-performance parallel array computations, supporting online compilation to multicore CPUs and CUDA GPUs.
The author describes implementing golden/visual regression testing for the Waterfall-CAD Haskell library using SVG output and the tasty-golden library.
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.
Researchers from University of Edinburgh propose a self-play framework using Liquid Haskell for formal verification to train LLMs on semantic equivalence reasoning, releasing OpInstruct-HSx dataset (28k programs) and achieving 13.3pp accuracy gains on EquiBench.