SASADA Koichi <ko1 atdot.net> writes:

> 	def m
> 	  pr = get_proc{
> 	    return 3
> 	  }
> 	  pr.call # ここで，ブロック中の return が効く
> 	end
> 
> 
> 	def get_proc &pr
> 	  pr
> 	end
> 
> 	m
> 
> 
> 　こんなコードが通るんですが，これを通らない仕様にするのは
> 無理ですか？　つまり，Orphan になった Proc オブジェクトから
> の break, retry, return は禁止，というルール．それなりにシ
> ンプルだと思うのですが．

retryとbreakの飛び先は、上のget_procから返っちゃった時に無効になると思
いますが、returnはまだ無効にならないですよねえ。

たとえばCommon Lispで
  (defun m ()
    (let ((pr (get-proc (lambda () (return-from m 3)))))
      (funcall pr)))
  (defun get-proc (pr) pr)
  (m)
  => 3

> 　あと，引数なしの Proc.new はやめよーかなー，と仰ってまし
> たが，2.0 はそうなると考えちゃっていいですか？　Procオブジェ
> クトがOrphan になるタイミングがコンパイル時にわかって嬉しい
> です．

そのう、Proc.newとlambdaと、単に{ ... }でくくったブロックの違いが相変
わらず良く分かってないのですが(どれもクラスが違うのだろうか)、そもそも
{ ... }のブロックが複数回呼ばれるのがいやなのだから、
  iter( ... ) { ... }
という文法で、
(1)暗黙の引数で受けとりyieldでブロックを呼び出す
(2)名前つきの引数で受けとりcallで呼び出す
の両方を許すのはやめて、(1)だけにすれば良いんでは、とか思ってしまいま
す(Procを渡したければ、陽に渡せばええやん、とか)。

> 　Orphanの定義ですが，「ブロック付きメソッド呼び出しのとき，
> メソッド実行中，そのブロックで Proc オブジェクトを作り，そ
> れがのメソッド呼び出しから抜けた後でも生きてるとき，その Proc
> オブジェクトを Orphan とする」という定義で考えてます．なんか
> 間違えてたらご指摘ください．

Rubyが分かってないなあ、私。
「ブロック付きメソッド」って上のコードではget_procのことですよねえ。
メソッドget_proc実行中にProcを作っているの? すでに作られたProcが渡され
てきて、それを返しているだけじゃないの?

				前田敦司

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