Coherence and orphan instance rules

Bluefin is a capability system

Can Haskell Become a Great Language for Data Science?

The ReaderT Design Pattern (2017)

Selective Applicative Functors

Serokell’s Work on GHC: Dependent Types, Part 5

A Revised Haskell 2010 Language Report

Haskell: origins, evolution, and future

Haskell diagrams: Tessellations

"Five-Point Haskell": Unconditional Election via Parametricity

V0.1.0.0 of ghcup-gtk released

Simon Peyton Jones on Functional Programming, Thinking in Types, Useless Languages

Solving Advent Of Code on FPGAs with Haskell Clash

Fast Haskell Scripts on GitHub Actions

Twenty Years of Pandoc

Opus is a minimal, statically-scoped Lisp dialect based on the semantics of f-expressions (the Kernel language)

Perspec 1.0

Rust, Haskell, and the Architecture Behind Solana: Interview with Greg Fitzgerald

After 7 years in production, Scarf has reluctantly moved away from Haskell

Digital circuit simulator in Haskell

Unfolding trees breadth-first in Haskell (2025)

Enterprise Haskell at H-E-B

Data-directed programming in Haskell (SICP2.4.3)

Extreme Haskell: Typed Expression EDSLs (Part 1)

Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC

Type Safe Servant Auth Roles

Shake Blog

GHC Status Report

Existentials on a Leash

Waterfall CAD Playground - A Haskell powered programmable-CAD environment, in the browser with WASM

More →