Lambda-Calculus and Combinators
内容简介
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served...
该书热门标签
- 最新
- 热门
-
不看这本书别学functional programming
19有用 Sinclair 2014-04-23
我会点lisp会点sml,懵懵懂懂能写点一两百行的程序,但心里很清楚自己连门槛都没摸着,于是读了lambdacalculus的wiki词条,感觉还是边都摸不到,于是买了这本书打算系统的了解一下。本来对... 查看全部>>
-
不看这本书别学functional programming
19有用 Sinclair 2014-04-23
我会点lisp会点sml,懵懵懂懂能写点一两百行的程序,但心里很清楚自己连门槛都没摸着,于是读了lambdacalculus的wiki词条,感觉还是边都摸不到,于是买了这本书打算系统的了解一下。本来对... 查看全部>>
评价“Lambda-Calculus and Combinators”