なぜEvalはWithLogなのに、Inferは値そのものなのか。

うーん、evalもinferも、Valueを返すべきなんでは? と思う。

• で、Log[]はAstに保存する。
  • どのタイミングで?
  • Eval, Inferのタイミングで
  • Literal はLogを吐きようがない
  • EFn は evalの中でinferを呼び出してるよね
  • Scope もLogを持ちようが無い
  • Call は、引数の型検査時、関数適用の中でのLogを吐く
  • **Sym**なんかはinferの時点でLogが出てくる可能性があるよね
    • 逆に eval の時にlogが出てくることってある? ない。

「式の型」はキャッシュすべきか

getLogするにはevalが必要

Call, EFn, ETyFn に関しては、式の型の推論

Scopeの型

遅延評価をするには、IFnの引数にはAstを渡すべきではないのか。

依存関係の挿入の仕方が分からんのよ。Proxyにして、evalを呼び出したのを検知して、依存関係を挿入する?