1. 首页
  2. 课程学习
  3. 专业指导
  4. LambdaCalculus and Combinatorsan Introduction

LambdaCalculus and Combinatorsan Introduction

上传者: 2020-04-26 07:17:40上传 PDF文件 2.06MB 热度 28次
Theλ-calculusandcombinatorylogicaretwosystemsoflogicwhichcanalsoserveasabstractprogramminglanguages.Theybothaimtodescribesomeverygeneralpropertiesofprogramsthatcanmodifyotherprograms,inanabstractsettingnotclutteredbydetails.Insomeways theyarerivals,ino
下载地址
用户评论
码姐姐匿名网友 2020-04-26 07:17:40

不错,值得分享

码姐姐匿名网友 2020-04-26 07:17:40

非常好,清淅。内容很好理解,函数式编程的理论核心就是这些东东了。

码姐姐匿名网友 2020-04-26 07:17:40

以前看haskell啃不动的地方,看了这本书之后,终于有点感觉了。

码姐姐匿名网友 2020-04-26 07:17:40

好书,对于lambda和组合子都说得很详细

码姐姐匿名网友 2020-04-26 07:17:40

找了很多lambda的资料,还是这个讲的最详细