Function Types in Nix

LLMs struggle to explain themselves

The language strangeness budget (2015)

Some novel features of Scryer Shen

Flux: Refinement types for Rust

What does it mean to be a programming language, anyhow? (2021) [pdf]

Quote-unquote "macros"

Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp

Delimited Continuations are all you need

Hello Frink (2015)