lambda演算可说是函数式编程的基石,实际上已和函数式语言浑然一体了。
不过聊起来可太数学了,反正已经证明lambda演算和图灵机等效了,不用去我们去操心了。
现在java,c++,c#等语言要引进这些东西,但是颇费脑筋,弄出匿名函数,匿名表达式一大堆东西来。
lambda演算可说是函数式编程的基石,实际上已和函数式语言浑然一体了。
不过聊起来可太数学了,反正已经证明lambda演算和图灵机等效了,不用去我们去操心了。
现在java,c++,c#等语言要引进这些东西,但是颇费脑筋,弄出匿名函数,匿名表达式一大堆东西来。