haskell

This blog post describes using the Haskell Diagrams package to generate finite regions of Penrose's kite and dart non-periodic tilings, and introduces a Haskell package (PenroseKiteDart) for constructing these tilings.

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.

This article highlights Pandoc, a free and open-source document conversion tool created by UC Berkeley philosophy professor John MacFarlane. It converts between over 50 formats locally without uploading files, saving significant time and maintaining privacy.

The article explains the basics of type inference for anonymous records in statically typed languages, using type theory notation and Haskell as the implementation language.

This tutorial explains how to create statically-linked executables for Haskell projects using Nix, covering configuration of GHC for static builds and integration with Docker.

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.

Sabela is a reactive notebook for Haskell, enabling interactive data science and functional reactive programming with support for Python interop and 3D graphics.

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.