Partial Evaluation

Jump to bottom Edit New page

andychu edited this page Oct 5, 2017 · 2 revisions

Metaprogramming

Partial Evaluation and Immutable Servers
- nice examples:
  - A daemon, say Redis, is always started using the same configuration file
  - For a pair of programs that communicate through a pipe, only a small subset of the full set of commands is ever sent
  - Only a subset of the OS kernel’s system calls are invoked
  - A program (bash, hopefully) is never invoked at all