miniblog.

The Futamura projections are really cool: partially applying an interpreter gives you a compiler! I'm not really sure what this enables though. You'd get a pretty poor compiler. Is this idea used much? I've occasionally heard it referenced for RPython.

Another neat OCaml feature: the type of a partially applied printf call reflects the format string used! Not many statically typed languages have this property.

TIL about -cut, a really neat macro in dash.el for partially applying functions using placeholders: