From: matz@... (Yukihiro Matsumoto)
Date: 1999-04-15T12:52:37+09:00
Subject: [ruby-list:13756] Re: iterator

まつもと ゆきひろです

In message "[ruby-list:13753] Re: iterator"
    on 99/04/15, GOTO Kentaro <gotoken@math.sci.hokudai.ac.jp> writes:

|>元々，プログラミング言語なんてチューリングマシンを越えられな
|>いことが数学的に証明されている(らしい)んで，
|
|蛇足ですが、プログラムの実行という概念に非決定性が伴うので
|必ずしも上の主張は真ではありません。オラクルという制限付の
|神様のような存在を持ち出して議論されることはありますが、
|現実のプログラミングを語るのは理論で押えきれないと思います。

あ，やっぱり．自信が無かったんで「らしい」と書いたんですが．
まあ，「プログラミング言語のできること」に限界があるのは証明
可能でなくても実感できますから，後段にはあまり影響が無いので
すが．

|iterator? の alias として given_block? なんてのを用意するのも
|いいかも知れませんね。

given_block よりは block_given? かなあ．
iterator? に別名を用意しようとは昔から考えているので，別名の
案は他にも募集します．

# ま，でも defined? yield で調べられるんだけど．

                                まつもと ゆきひろ /:|)