有望そうなアイディア

型推論
遅延評価
参照透明性
ゴール指向評価