老徐的读书主页
老徐的笔记 · · · ( 15篇 )
计算机程序的构造和解释 (14)
Harold Abelson、Gerald Jay Sussman、Julie Sussman / 裘宗燕 / 机械工业出版社 / 2004-2 / 45.00元
-
二， 数据抽象 church numerals
现在到了数学抽象中最关键的一步：让我们忘记这些符号所表示的对象。(数学家）不应在这里停步，有许多操作可以应用于这些符号，而根本不必考虑它们到底代表着什么东西。 邱奇数可以帮我们充分理解上面这.. -
4.1 元循环求值器
随着所面对的问题变得更加复杂，我们会发现Lisp,以及任何一种确定的程序设计语言，都不足以满足我们的需要，我们必须经常转向新的语言，以便能够更有效地表述自己的想法。建立新语言是工程设计中控制复杂性的... -
3.5.1 流作为时间延时的表
此节开始作者试图用“流”来化解“局部状态，时间”带来的复杂性问题。首先用“流”处理（即延时处理的表）；将时间着力于局部状态的变化情况刻画出来，就像树的年轮一样； 延时处理，既可以提高效率，也..
Let Over Lambda (1)
Doug Hoyte / Lulu.com / 2008-4-2 / USD 39.95
-
第1页
online:http://letoverlambda.com/index.cl/toc sicp看完，打算开始读这本。
老徐的推荐 · · · (12个)
- 推荐豆列DSL 03-10 22:06
- 推荐豆列编译原理（国外最知名的三本教材） 02-24 13:52
1.龙书(Dragon book) 2.鲸书(Whale book) 3.虎书(Tiger book)
- 推荐豆列优美的理论计算机科学读物 02-12 21:01
Beauty is the first test: there is no permanent place in the ...
- 推荐豆列负责任推荐：算法学习经典 2011-12-31 12:27
正是因为美妙的算法，才使得程序设计成了一门艺术。 其实学习算法...
老徐关注的人 · · · ( 全部70 )
最近阅读 · · ·
- 昨天
- 想读 怎样解题、茨威格小说集
- 在读 上帝掷骰子吗
- 想读 Common Lisp、编程语言实现模式
- 5月30日
- 想读 重口味心理学
- 5月29日
- 想读 纽约客、Python源码剖析
- 5月20日
-
读过
沉沦・春风沉醉的晚上
郁达夫算是国内第一位直白的作家
- 5月18日
- 想读 刀锋、Machine Learning in Action
- 5月5日
- 想读 智能Web算法、Mahout in Action
- 4月26日
- 想读 Linux/Unix设计思想
- 在读 海边的卡夫卡
- 4月16日
- 想读 算法设计
- 4月11日
- 想读 flex 与 bison