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.
miniblog.
Related Posts
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:
Is Sound Gradual Typing Dead? https://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf (explores the significant performance cost of partially specified types in Racket)