部分評価
partial evaluation
smn定理
テンプレートメタプログラミング
（
TMP
:
Template metaprogramming
）
評価戦略
-
先行評価
、
遅延評価
、
短絡評価
ジャストインタイムコンパイル方式
（
JIT
）
Run-time algorithm specialisation
Memoization
Strength reduction
PyPy
部分評価 - Wikipedia
Partial evaluation - Wikipedia