Hi! I'm Michael Arntzenius, “rntz” for short. I study programming languages, in theory and practice. My current project is Datafun, a functional query language.


You can email me, or find me on Twitter as @arntzenius. I'm rntz on GitHub, Pinboard, Keybase, and Freenode.


Parsing list comprehensions is hard
Why I am not a fan of Cabal or Stack
Against software development
Ursula Le Guin is dead
Semilattices and their tensor products
Aphorisms on programming language design
Not everything is an expression
Option and null in dynamic languages
Monoids, scope, and extensibility
On dynamic and static types
Belief is indexed by proof system
Anarki updated to arc3
Intuitive hygienic macros
An odd type inference problem
Languages as models of computation
OO and pattern-matching