Name: An Introduction to Functional Programming Through Lambda Calculus
ISBN: 9780486478838

An Introduction to Functional Programming Through Lambda Calculus

作者: Greg Michaelson
出版社: Dover Publications
出版年: 2011-8-18
页数: 336
定价: USD 24.95
装帧: Paperback
ISBN: 9780486478838

豆瓣评分

9.1

29人评价

5星

34.5%
4星

65.5%
3星

0.0%
2星

0.0%
1星

0.0%

评价:

内容简介 · · · · · ·

This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, assuming no prior knowledge of mathematics or functional programming. Numerous exercises appear throughout the text, and all problems feature complete solutions. 1989 edition....

(展开全部)

原文摘录 · · · · · · ( 全部 )

elegant but simple formalism for computation. (查看原文)

K.W. 2014-05-15 21:53:11

—— 引自第1页
each function receives from and pass new values back to the calling functions in turn (查看原文)

K.W. 2014-05-15 22:46:42

—— 引自第4页

> 全部原文摘录

喜欢读"An Introduction to Functional Programming Through Lambda Calculus"的人也喜欢 · · · · · ·

: Thinking Functionally with Haskell

: Lambda-Calculus and Combinator... 9.2

: Let Over Lambda 8.6

: Small Memory Software

: Programming Languages 8.9

: The Implementation of Functional ... 9.5

: Parallel and Concurrent Programm... 9.9

: Modern Compiler Implementation i... 8.8

: Programming in Haskell 9.3

: Logic in Computer Science 8.9

我来说两句

短评 · · · · · · ( 全部 9 条 )

An Introduction to Functional Programming Through Lambda Calculus的书评 · · · · · · ( 全部 1 条 )

读后感

语言朴素，举例灵活，重点突出。这是本通过lambda calculus讲functional programming的书，而Type Theory and Formal Proof是通过lambda calculus讲证明论的书，所以这本书对cs的我来说更容易接受些，而Type Theory and Formal Proof对很少做证明题的我，比较麻烦。这本书主... (展开)