Partial Evaluation - oils-for-unix/oils GitHub Wiki
- 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
- nice examples: