最終更新:2010-07-04 (日) 08:20:08 (5045d)
ラムダ計算
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>) //関数適用