"A-normal form" なんですが、これはすさまじく検索un-friendlyなterm
ですね。

c.l.s.のこのへんのツリーとか参考になると思います。

http://groups.google.com/groups?hl=ja&lr=&c2coff=1&threadm=fz1413hl.fsf%40ccs.neu.edu

でも今もういちど論文を確認したら、GaucheのはあんまりANFじゃないことが
わかりました。当初は頭に置いてたんだけど。

Schemeの場合、クロージャの最適化がかなり効くので、そのへんが追跡できる
形式で最適化をかけるのに意味があると思いますが、Rubyの場合はどうでしょうね。

--shiro


From: SASADA Koichi <ko1 atdot.net>
Subject: [yarv-dev:508] ANF
Date: Tue, 07 Jun 2005 01:40:43 +0900

> 　ささだです。
> 　そういえば、先日のメール、時計が狂っていたようで大変失礼しました。
> 
> 　日記で shiroさんが仰っていた ANF ですが、どういう形式か教えてもらえま
> せんか。ぐぐってみたら、いろんな ANF が出てきて。
> 
> 　ちなみに、どれだけの抽象表現が必要か、なのですが、Ruby でどれだけの最
> 適化が可能か、によると思っています。どーせ共通部分式のくくりだしとか、ポ
> ピュラーな最適化できないしなぁ、と。

--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml