よくわかっていないの，ほとんど teatea モードですが．．．

> １，現実世界（プログラミング言語内以外）に同様なモデルがない。

カウンタ付のコピー機なんかじゃだめですか．

> ２，変更可能なclosureは初心者に分かりにくいのでは？
>
> 実際普通の人にとってどの程度分かりにくいものなのでしょうか？

closure という言葉を使うから分りにくいのかもしません．

> define create_acc(n) {
>      ac=n
>      define acc(i){
>          return ac=ac+i
>      }
>      return acc
> }
> 
> static変数のモデルを疑似コードで書くと
> 
> define create_acc(n) {
>      define acc(i){
>          static ac=n
>          return ac=ac+i
>      }
>      return acc
> }
> 
> となって、コードの見た目の複雑さはそんなに変わりません。
> それに、C言語のstatic変数は起動時に一回だけ初期化されるわけですが、

後者に対応する C でのコードってどんなコードですか？

> 上の例で想定しているような動的に関数を生成できる言語では
> create_accを呼び出す度にclosed変数の生成と初期化が行われるわけで、
> それを明示するには前者のコードの方が分かりやすいという感じもします。

そうですね．static を説明がたぶん面倒ではないかと思います．

> 以上のように、変更可能なclosureか、static変数かどちらを取るか悩んでいます。

私は，static という別枠の説明がいるようなものを導入するより，
前者の方がシンプルでよいと思います．

;; 私なら，後者は「ありえん」てなかんじです．

--nobsun

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