The Curious Engineer

All blogs / Functional / PL theory

rntz's blog

rntz.net

Functional / PL theoryCompilersEssays / personal

’10’15’20’25
Posts
21 from 10 Aug 2008 to 16 Jun 2026
Posting
now and then (2 in the last year)
Kind
personal blog
Feed
https://www.rntz.net/blog/atom.xml

2026 2

  1. Evaluation order and nontermination in query languages
  2. Deconstructing Datalog

2024 1

  1. Cafés of Cambridge

2019 2

  1. Simple, generic, type-safe substitution in Agda
  2. Representing binding in Agda using functions as contexts

2018 5

  1. Could an archaeologist grok an iPhone?
  2. Parsing list comprehensions is hard
  3. Why I am not a fan of Cabal or Stack
  4. Against software development
  5. Ursula Le Guin is dead

2017 2

  1. Semilattices and their tensor products
  2. Aphorisms on programming language design

2016 1

  1. Not everything is an expression

2014 3

  1. Option and null in dynamic languages
  2. Monoids, scope, and extensibility
  3. On dynamic and static types

2011 1

  1. Belief is indexed by proof system

2009 3

  1. Intuitive hygienic macros
  2. An odd type inference problem
  3. Languages as models of computation

2008 1

  1. OO and pattern-matching