The purported benefits of effect systems

The Promise of P-Graphs

µcad: New open source programming language that can generate 2D sketches and 3D

Freer Monads, More Extensible Effects (2015) [pdf]

There's always going to be a way to not code error handling

`satisfies` is my favorite TypeScript keyword (2024)

Lazy Linearity for a Core Functional Language

Trait-Constrained Enums in Rust

The Lambda Papers (transcribed)

Value classes are the new data classes