Haskell for all

Not even Nixpkgs abstractions are safe from category theory

Capitalism is the problem

This post showcases an upcoming addition to the contravariant package that permits programming in a co-Applicative style

This post contains miscellaneous tips I frequently share with new bloggers

A trick that minimizes the change surface of your code

A reference implementation of a functional language with JSON-like syntax and Dhall-style imports

This post documents my favorite lens trick of all time

The fundamental difference between forward and reverse proxies

Showcase of Dhall language features that improve the readability of types

An elegant trick for managing bound variables

The hypergeometric distribution implemented in Haskell

Tips and tricks for how to organize a Haskell project

This post documents a small trick that I use to avoid deeply-nested error-handling code

A forward-looking post about where programming is headed

A better alternative to Haskell's Proxy type

Generalizing folds to data structures other than collections

Why purity and stack traces aren't a substitute for a type system

The functional programming analog of an object-oriented design pattern

Diversity actually raises the bar

An example showing how to translate a postgrest tutorial into an automated integration test

A clever trick for converting a parser into a matching prettyprinter

Why I'm long on functional programming

Prefer fixing inputs rather than outputs

Tour of record-related design patterns in Haskell

Compute enormous Fibonacci numbers in milliseconds using this one weird trick

2019-2020 Dhall language survey results

The case for Turing-incompleteness

2019-2020 Dhall language survey

Stop using error and prefer fail instead

A post that explains software engineering tradeoffs through the lens of the CAP theorem for distributed systems

Why you should avoid big bang releases

2018-2019 Dhall language survey results

Motivating use case for GHC generics

2018-2019 Dhall language survey

A simple Haskell program built up step-by-step

A production-grade deployment method for NixOS

How to separate the wheat from the chaff when comparing dependencies

Author setup wizards with this one simple trick

The 2017-2018 Dhall language survey results

2017-2018 Dhall language survey results

nix-diff 1.0 announcement post

An introduction to the Dhall configuration language's support for integrity checks based on the semantic content of code instead of the text

How to start off on the right foot

A rethink of conventional wisdom around IO

A window into Dhall's optimizer

Demistifying bind vs equals in Haskell

dhall-text 1.0 announcement post

nix-derivation 1.0 announcement post

dhall-bash 1.0 announcement post

Explanation of the Curry-Howard correspondence using Dhall