Welcome

Hi! I'm Michael Arntzenius, or rntz for short. I study the theory, design, and implementation of programming languages. My current project is Datafun, a functional query language.

Contact

Email
d...@gmail.com
Github
rntz
Twitter
@arntzenius
IRC
rntz on freenode

Writings

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