Rubyのlambda,proc関数の使い方が良く分かりません。

手前味噌を一つ。

• Haskellは難しくない--こともある。http://blog.livedoor.jp/dankogai/archives/50538384.html

Dan.the.Occasional.Rubyist

http://www.yahoo.co.jp/

URL はダミーです。

lambda とか proc とかを使うと、ある種の手続きをオブジェクトにすることができて、引数などとして渡すことができるようになります。

そうすると、たとえば /aaa/ にマッチするときは、文字列を xxx と処理して、/bbb/ にマッチするときは yyy のように処理するということができるようになります。

同じようなことは、ファクトリーパターン＋継承（ポリモーフィズム）でできますが、lambda を使った方が簡潔です。

ファイナライザを定義するときに使います。

http://www.ruby-lang.org/ja/man/?cmd=view;name=ObjectSpace

http://capsctrl.que.jp/kdmsnr/wiki/bliki/?Closure

Rubyのブロックは、関数内部で暗黙にProcオブジェクトに変換されています。

ブロックはlambda,procのシンタックスシュガーと考えればよいでしょう。

つまりブロックが使えていれば、lambdaを使いこなせているのです。

上記の記事でMartin Fowlerも明示的にlambdaを使うことは少ないと書いています。

ブロックは末尾引数に&を付ければ受け取ることができ、

その値はProcオブジェクトになります。

def setBehaviour(&block)
  @block = block # block.class => Proc
end

def doBehaviour
  @block.call("hoge")
end

setBehaviour() {|x| puts x}
doBehaviour()

ブロックのままだとメソッド内でyieldするしかありませんが、

ブロックがProcになると変数に代入できるので、

変数に記憶しておけば、同じ動作を繰り返し使えるようになります。

コードをブロックで渡すだけで済むなら、ブロックでよいのです。

しかし、コードをブロック形式で渡せない状況であれば

lambdaを明示的に使うことになるでしょう。

例えば、複数のコードブロックを渡したい場合とか、

名前付き引数でコードブロックを指定する時とかが思いつきます。

http://api.rubyonrails.org/classes/ActiveRecord/Validations/Clas...

たまたま開いていた上のActiveRecordのvalidationでもlambdaを使ってますね。

class Person < ActiveRecord::Base
  validates_numericality_of :value, :on => :create,
    :if => lambda { |user| user.signup_step > 2 }
end

こういうのはフレームワーク側で面倒見切れないので、

利用者側が外部からlambdaで指定するわけです。

http://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AD%E3%83%BC%E3%82%B...

もしlambdaを使いこなしたいのであれば、引数で受け渡せることに加えて

レキシカルクロージャという概念も知っておいた方がよいでしょう。

上のWikipeadiaのJavaScriptカウンタをrubyで書いてみるとこんな感じ。

def make_counter(base=0, inc=1)
  lambda {base+=inc}
end

c = make_counter(1,2)
10.times {puts c.call}

>procが使えれば大体使いこなせていて

>さらに細かな動作をさせたいときに

>lambdaを使うというイメージでしょうか。

Proc.new, proc{}, lambda{} は同じものです。

（微妙な違いはありますが）

それらを直接使うことはあまり必要ないでしょう。

ほとんどの場合、より高度な構文である

ブロックだけで済んでしまうのです。

（昔はイテレータ、今はブロックと呼びます）

ブロックには「関数に１つしか受け渡せない」

「変数に代入できない」という制約があり、

それを超えてコードの受け渡しをしたいときには

lambdaを明示的に使わないとできません。

>lambdaがλ関数であればチューリングマシンと同値。

>つまりlambda関数さえあれば全てのプログラムが記述可能なわけでしょうか。

ラムダ関数は単なる語源ぐらいに考えた方が現実的だと思います。

Rubyのlambdaは単純にコードをオブジェクト化しているだけです。

回り道かもしれませんが、LispかSchemeを学んだらいいのでは？

http://practical-scheme.net/gauche/index-j.html