可缓存
可移植
单元测试
调试
并行
代码热部署
推理和优化
JavaScript (https://mostly-adequate.gitbooks.io/mostly-adequate-guide/
lambda演算 (https://zh.wikipedia.org/wiki/Λ演算
Parser Generators (https://en.wikipedia.org/wiki/Comparison_of_parser_generators
Combinators (https://en.wikipedia.org/wiki/Combinatory_logic
CPS ANF (http://matt.might.net/articles/a-normalization/
curry
monad