最終更新:2010-07-04 (日) 08:20:08 (2634d)  

ラムダ計算 はてなブックマークを見る
Top / ラムダ計算

メモ

hoge(x)=x*2

のhogeを、関数を値として扱いたいのでλという値ということにする

λ(x)(x*2)

カッコが多いのでカッコを省略

λx.x*2

関数に引数(y)を与えるときは

(λx.x*2)y

と表記。

λの引数部分を与えられた引数で置き換えることを簡約という

Groovy

{x -> x * 2}

ラムダ式BNF

  • <expr>::=<identifier> //変数
  • <expr>::=(λ<identifier>.<expr>)//ラムダ抽象?
  • <expr>::=(<expr> <expr>) //関数適用

関連

参考