Danvy の TDPE: 問題点

• 適用できる言語が限定されている

  整数型や再帰型には「代表」となる値がない
  
  • reflect int x = ???
  • reflect (? list) y = ???

• 特化時も実行時も効率が悪い

  型が冗長だと、無駄な reflection が発生して結果も冗長になる
  
  reify ((? ? ?) ? ? ? ?) (?a. a) = ?x. ?y. (x @ y)

Previous slide

Next slide

Back to first slide

View graphic version