From: SASADA Koichi <ko1 atdot.net>
Subject: [yarv-dev:668] Re: environment in eval
Date: Fri, 07 Oct 2005 20:45:27 +0900

> 「保持する」とあって、それが拡張されていくイメージがなかったので、私はど
> んどん増えていくのが不自然に感じているんではないかと思います。
> 
> 　他の言語で同じような機能がないかなぁと考えてみたのですが、私の少ない言
> 語の知識では思いつきませんでした。

デバッグ用なんかでレキシカルな束縛を含む環境を第一級オブジェクトとして
取れる処理系は色々あると思いますが、evalで束縛を追加してゆけるという
のは私も他に知りません。レキシカル束縛を静的なものとして扱う最適化
手法がえらく使いにくくなるので敬遠されそうな概念だとは思います。

インクリメンタルに変更可能な第一級の環境、というものであれば、
Symmetric Lispという処理系がそういうものを持っていました。

David Gelernter, Suresh Jagannathan, and Tom London. 
"Environments as First-Class Objects". POPL87.
http://www.cs.purdue.edu/homes/suresh/papers/popl87.ps.gz

環境をalphaという特殊形式で陽に扱うことで、静的スコープや
動的スコープ、構造体、永続するインタプリタセッション、
遅延ストリームなど色々なことが統一的に扱えるよ、と言ってます。

これを読み直してて気付いたんですが、ファーストオーサーの
David GelernterってLindaの人ですな。なるほど上記論文の
遅延ストリームのあたりはLindaっぽい匂いがします。

--shiro




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