rntz's blog

rntz.net ↗RSS feed ↗21 posts

Latest posts

Evaluation order and nontermination in query languages

Jun 16, 2026

Deconstructing Datalog

Jun 11, 2026

Cafés of Cambridge

Aug 7, 2024

Simple, generic, type-safe substitution in Agda

Jan 21, 2019

Representing binding in Agda using functions as contexts

Jan 18, 2019

Could an archaeologist grok an iPhone?

Jul 25, 2018

Parsing list comprehensions is hard

Jul 10, 2018

Why I am not a fan of Cabal or Stack

May 18, 2018

Against software development

Mar 10, 2018

Ursula Le Guin is dead

Jan 24, 2018

Semilattices and their tensor products

Oct 12, 2017

Aphorisms on programming language design

Jan 27, 2017

Not everything is an expression

Jun 6, 2016

Option and null in dynamic languages

Jul 2, 2014

Monoids, scope, and extensibility

Jun 27, 2014

On dynamic and static types

Jun 16, 2014

Belief is indexed by proof system

Nov 13, 2011

Intuitive hygienic macros

Mar 3, 2009

An odd type inference problem

Feb 9, 2009

Languages as models of computation

Jan 17, 2009

OO and pattern-matching

Aug 10, 2008