[ruby-dev:4178] Re: call/cc

前田です。

[e-mail] (Shugo Maeda) writes:

> R5rsの以下の記述から、catchと同等の機能が普通の手続きとして実現されたものが
> call/ccであると推測されます。
(snip)
> catchは特殊フォームということなので、let/ccみたいなのだったのでは？
> # 根拠はまったくないです(^^;

調べてみました。

Sussman/Steeleの1975年の論文によると、

CATCH
      This is the "escape operator" which gives the user a handle on the
control structure of the interpreter. The expression:

      (CATCH <identifier> <expression>)

evaluates <expression> in an environment where <identifier> is bound to a
continuation which is "just about to return from the CATCH"; that is, if the
continuation is called as a function of one argument, then control proceeds as
if the CATCH expression had returned with the supplied (evaluated) argument as
its value. 

とのことです。

(catch return (progn ... (return arg) ...))

のように使うみたいですね。
let/ccは、

(let/cc return ... (return arg) ...)

なので、当たらずとも遠からずといったところでしょうか。

-- 
前田 修吾 (mailto:[e-mail])