- 360 名前：デフォルトの名無しさん mailto:sage [2009/06/01(月) 11:32:39 ]
- >>358
そのrenaming problemを解決するのが、
lambda liftingによるsuper combinater化ですね。
YHCってのがsuper combinaterをILにした実装だったけど、
このプロジェクトは立ち消えになったみたいですね。
www.haskell.org/haskellwiki/Yhc
前はHaskell上でlambda式評価器を書いていたDockinsが、
YHC bytecodeのverificationやってましたけど。
www.cs.princeton.edu/~rdockins/lambda/home
www.cs.princeton.edu/~rdockins/presentations/tfp2007/slideshow.xhtml
www.cs.princeton.edu/~rdockins/pubs/tfp2007.pdf
