Chipstar Lightのメモ

λ式とは、関数式を簡潔に表現する方法。
hoge(x)=x*2をλ式で書くとλx.x*2となるらしい。
hoge(x)=x*2→λ(x)(x*2)→λx.x*2と考えてみるとわかる。
ちなみに、このλ式のxにAという具体的な値を代入するという表現は(λx.x*2)Aと書くらしい。
http://hamamuratakuo.blog61.fc2.com/blog-entry-341...