[ruby-dev:3777] Re: functor? (Re: constants (or class vriable?))

ひわだです。

From: [e-mail] (Yukihiro Matsumoto)
> |* MLのようなFunctor

> すいません，それらがどのようなものかもうちょっと説明していた
> だけませんか？

> # ひわださんあたりが得意そう．

詳しくはないですが、ruby に取り込んで欲しい feature があるのでなんとか
説明してみます。（既に立石さんからの説明がありましたが、書いてしまった
ので ^^;）。

＃ちなみに僕が使ってるのは ML の方言の O'Caml の方言の O'Labl なので 
＃SML/NJ とは違うかも知れません。

functor というのは (O'Caml の Introduction によると)

Functors are ``functions'' from structures to structures. They are
used to express parameterized structures: a structure A parameterized
by a structure B is simply a functor F with a formal parameter B
(along with the expected signature for B) which returns the actual
structure A itself.  The functor F can then be applied to one or
several implementations B1 ... Bn of B, yielding the corresponding
structures A1 ... An.

だそうです。ruby でいうと、たとえば、

module IntStriction
  def self.member?(it)
    it.kind_of? Integer
  end
end

IntArray = StrictArray(IntStriction)

a = IntArray.new
a.push 1
a.push "hoge" # => error!

のようにして用途に合わせてパラメタライズされたクラスなどを生成して使う
とか(Caml では module -> module ですが)。ユーザから見ると、 Array を 
delegate してメソッドを書換えるよりも簡単に見えるのが利点でしょうか。

＃他の例としては、比較方法等でパラメタライズされた priority queue とか…。

こういうのを ruby で書こうとすると、module_eval が多分必要になります。
もし、匿名クラスや匿名モジュールの生成を文法からサポートできれば、

def self.StrictArray(mod)
  anonymous = class < Array
    MOD = mod     # <-- 何らかの方法で parameter を匿名クラスに渡したい
    def push(data)
      raise "error!" unless MOD.member? data
      super(data) # <-- super も使いたい
    end
  end
  anonymous
end

のように、わりと簡単に書けるようになると思います。module_eval を使えば
書けないことはないですが。

というわけで、匿名クラス匿名モジュールの文法サポートがほしいというお願
いでした ^^;;;
--
檜田 和浩 ( [e-mail] )