Building Type Search for Unison

Generalizing 'jq' and Traversal Systems using optics and standard monads

Beating Decades of Optimized C with 80 Lines of Haskell

Optics and Regex: Greater than the sum of their parts

Mocking Effects using Constraints and Phantom Data Kinds

Tail recursion in Python

MonadIO Considered Harmful

Radix Sort, Trie Trees, and Maps from Representable Functors

Type Tac Toe: Advanced Type Safety

Shipping Haskell Apps via Homebrew