Skip to content

Partial Evaluation

andychu edited this page Oct 5, 2017 · 2 revisions


  • 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
Clone this wiki locally
You can’t perform that action at this time.