LambdaCalculus and Combinatorsan Introduction
Theλ-calculusandcombinatorylogicaretwosystemsoflogicwhichcanalsoserveasabstractprogramminglanguages.Theybothaimtodescribesomeverygeneralpropertiesofprogramsthatcanmodifyotherprograms,inanabstractsettingnotclutteredbydetails.Insomeways
theyarerivals,ino
下载地址
用户评论
不错，值得分享
非常好，清淅。内容很好理解，函数式编程的理论核心就是这些东东了。
以前看haskell啃不动的地方，看了这本书之后，终于有点感觉了。
好书，对于lambda和组合子都说得很详细
找了很多lambda的资料，还是这个讲的最详细