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

ラムダ計算
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>) //関数適用
↑

関連

↑

参考




検索：