Welcome

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.

Contact

Email
daekharel at gmail
Github
rntz
Twitter
@arntzenius
IRC
rntz on freenode

Writings

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