ruby-list

酒井です。

From: Shin-ichiro HARA <sinara@blade.nagaokaut.ac.jp>
Subject: [ruby-list:35092] Re: かりー化
Date: Mon, 13 May 2002 19:53:25 +0900

> 情報満載なので、いつも「日々の流転」楽しみにしております。_o_

うおぉ、そんな風に思われていたとは光栄です。

> 酒井さんの「メソッドのカリー化」のコードは載せないんですか？

では載せましょう。

ただ、こっちは
・ブロックの事を考慮してない
・UnboundMethodを使ってるので継承と相性が悪そうだ
といった理由で自分ではイマイチだと思っています。

require 'thread'

class Module
  CURRYING_METHOD_TABLE_       = Array.new
  CURRYING_METHOD_TABLE_MUTEX_ = Mutex.new

  def currying(name, arity=nil)
    m = instance_method(name)
    
    if m.arity == 0
      return
    elsif m.arity > 0
      arity = m.arity
    else
      arity ||= (-m.arity)-1
    end

    tbl_idx = nil
    CURRYING_METHOD_TABLE_MUTEX_.synchronize{
      tbl_idx = CURRYING_METHOD_TABLE_.size
      CURRYING_METHOD_TABLE_ << m
    }

    module_eval %Q[
      def #{name.to_s}(*args1)
        proc = lambda{|*args|
          if args.size >= #{arity}
            Module::CURRYING_METHOD_TABLE_[#{tbl_idx}].bind(self).call(*args)
          else
            lambda{|*a| proc.call(*(args + a))}
          end
        }
        proc.call(*args1)
      end
    ]
  end
end

class <<self
  define_method(:currying, method(:currying).to_proc)
end

if __FILE__ == $0
  def hello(a, out)
    out.printf("Hello, %s!\n", a)
  end
  currying :hello

  hello_ruby = hello("Ruby")
  hello_ruby[STDOUT] #=> Hello, Ruby!
end 

> そういえば「カリー化」の定義を言わないと。

すっかり忘れていました。(^^;;

僕は正確な定義は良く知らないのですが、原さんが下に書いているように
X×Y→Z のような多引数の関数を X→(Y→Z) というような
_関数を返り値とする_1引数の関数に変換する事をカリー化と呼ぶらしいです。

Rubyで使う場合には、引数の数を1個に制限するよりは
一度に可変個の引数を受け取れた方が嬉しいだろうという事で、
このようなコードにしてみました。

> 多変数の関数、例えば f(x, y, z) に、対して
> 
>     F(x)(y)(z) = f(x, y, z)
> 
> を満たすような、関数の関数の、、、関数 F を作る事をカリー化って
> いうんですよね。ここではその Proc バージョンであると。

-- さかい

Thread

Prev Next

In This Thread

Prev Next

[#34988] BigFloat の to_i メソッドについて — Sako Hiroshi <sakoh@...2.so-net.ne.jp>

[#34989] mailing list archive? — maili31s@... (SugHimsi == SUGIHARA Hiroshi)

[#34991] a = 4 ; p((a < 3) or (a > 5)) — Take_tk <ggb03124@...>

[#34994] コマンドライン引数の # — 渋川よしき <yoshiki@...>

[#35003] Is Ruby default in Jaguar? — maili31s@... (SugHimsi==SUGIHARA Hiroshi)

[#35005] FILE_READPTR — Daisuke Aoki <dai@...>

[#35028] win32.c 中の my* 関数について — 小西 弘将 <konishih@...6.so-net.ne.jp>

[#35035] [irb] sub-irb vs cb — rubikitch <rubikitch@...>

[#35036] Re: Is Ruby default in Jaguar? — taiki0419@...

[#35041] [ANN] RDindex-1.1.9 — rubikitch <rubikitch@...>

[#35043] [ANN] rpkg / usage.sgml.ja — dellin <dellin@...>

[#35049] true はリテラル？ — Take_tk <ggb03124@...>

[#35052] ruby_lib/html/ — Wakou Aoyama <wakou@...>

[#35054] 「 Ruby/GTK プログラミング入門」 — Noritsugu Nakamura <nnakamur@...>

[#35058] Y Combinator — sinara@...

[#35065] 影舞 on Windows — "T.Fukagawa" <tfukaga@...>

[#35067] かりー化 — Masahiro Sakai (酒井政裕) <zvm01052@...>

[#35072] Mac OS X で mysql-ruby 実行時エラー — Takashi Hoshizawa <t_hoshizawa@...>

[#35080] Ruby から libglade 。 — "D.Miyawaki" <aaf18900@...06.odn.ne.jp>

[#35081] ISO 8601 と Time#wday — Take_tk <ggb03124@...>

[#35087] Re: Y Combinator — 正木 功 <GEC01122@...>

[#35098] patch for darwin — Yuji Yamano <yyamano@...>

[#35102] ANNOUNCE: REXML のドキュメントの和訳を公開しました。 — Kouhei Sutou (須藤功平) <kou@...>

[#35108] Ruby の一連の成果を CD-ROM に — Kentaro Hatori <hatori@...>

[#35109] DOS プロンプトからリダイレクションつきの system — TOYOFUKU Chikanobu <toyofuku@...>

[#35112] — "hideo kuramochi" <chj87900@...>

[#35113] Re: Marshallers summary — "NAKAMURA, Hiroshi" <nakahiro@...>

[#35128] Windows 版 Ruby で XML プログラミングを始めたい — 鈴木 祐亮 <yuupon@...1.dti2.ne.jp>

[#35134] 朝、トーストを食べていると不意に — Shin-ichiro HARA <sinara@...>

[#35158] TMail::Mail.decoded でエラー — "Morikawa [encore-ann]" <i@...>

[#35165] ソースコードの隠蔽 — OJ <oj@...7.com>

[#35169] Stack overflow で SEGV の取り扱いについて — 小西 弘将 <konishih@...6.so-net.ne.jp>

[#35172] 名刺ジェネレータ ncgen 公開の案内 — NISHI Takao <zophos@...9.com>

[#35183] Glade で GUI 構築 — "D.Miyawaki" <aaf18900@...06.odn.ne.jp>

[#35207] tar.gz の展開 — "NAKANO Kouichi" <knuckle@...8.dion.ne.jp>

[#35215] ruby-shell-mode — "Shirai,Kaoru" <shirai@...1jp.com>

[#35219] RAA から OptionParser が取れません — TAMBARA Masahiko <m-tamb@...>

[#35242] rb_define_class — EMOTO Masahiko <emo@...>

[#35247] [ann] 『 Ruby de CGI 』発売 — 堀川 久 <vzw00011@...>

[#35249] setup.rb: packages/foo/ext/lib — "Akinori MUSHA" <knu@...>

[#35250] Mac OS X ではプリインストール？ — Take_tk <ggb03124@...>

[#35252] ((Time.now)..(Time.now+60)) — Take_tk <ggb03124@...>

[#35253] ((1.2)..(3.4)).to_a — Take_tk <ggb03124@...>

[#35264] HTML generation library — Wakou Aoyama <wakou@...>

[#35273] rd-mode.el - a bit fix — "Shirai,Kaoru" <shirai@...1jp.com>

[#35310] requests for current blade archives — maili31s@... (SugHimsi == SUGIHARA Hiroshi)

[#35312] [irb] irb_soruce — rubikitch <rubikitch@...>

[ruby-list:35106] Re: かりー化

Thread

In This Thread

[#35028] win32.c 中の my* 関数について — 小西弘将 <konishih@...6.so-net.ne.jp>

[#35087] Re: Y Combinator — 正木　功 <GEC01122@...>

[#35128] Windows 版 Ruby で XML プログラミングを始めたい — 鈴木祐亮 <yuupon@...1.dti2.ne.jp>

[#35169] Stack overflow で SEGV の取り扱いについて — 小西弘将 <konishih@...6.so-net.ne.jp>

[#35247] [ann] 『 Ruby de CGI 』発売 — 堀川久 <vzw00011@...>