硅胶鱼的读书主页

在读 · · · ( 5本 )

读过 · · · ( 249本 )

想读 · · · ( 194本 )

硅胶鱼的书评 · · · ( 1篇 )

I have a dream

I have a dream，我希望有一天能够成立个“中华撕书教育基金”，只要同学们把封面印有“普通高等教育 ‘十X ’国家级规划教材”这样的的系列圾教材当场撕毁，本教育基金立即赠送一本高质量外国教材. 今天看《什么是数学》看到P449~450上这么一段话： “在有些课本中，由于专业术语选择的不好，把基...(55回应)

硅胶鱼的笔记 · · · ( 8篇 )

计算机程序的构造和解释 (2)

Harold Abelson、Gerald Jay Sussman、Julie Sussman / 裘宗燕 / 机械工业出版社 / 2004-2 / 45.00元

4.4

1.query的means of combination跟finite automata一样诶 2.逻辑效率问题: 数学上的逻辑不考虑执行效率问题,但是逻辑编程语言显然会碰到效率问题,(and x y)和(and y x)在计算时间上可能相差巨大. 而这个问题的极...
第271页

练习4.19 这道练习涉及到internal definitions的机制问题下面的注解230说“MIT的Scheme实现支持Alyssa……”事实上，所有遵循R5RS的Scheme实现都是这样做的。R5RS(http://schemers.org/Documents/Standards/R5R...

How to Design Programs (6)

Matthias Felleisen、Robert Bruce Findler、Matthew Flatt、Shriram Krishnamurthi / The MIT Press / 2001-2-12 / 71.00美元

第518页

Scheme and many other languages typically provide built-in functions for comparing two structural values extensionally and intensionally. The corresponding Scheme functions are equal? and eq?. In Sche...
第486页

set!搞出了真变量，这不算纯函数式编程了吧，oop都出来了…… Exercise 40.3.5.题目里多了一对() vector-set! /代码内容已省略/ Defferences between set! and struct m...
第447页

Grammar of Advanced Student Scheme: <vdf>= (define <var> <val>) | (define <var> <exp>);定义函数语法糖 | (define-struct <var> (<var> ...<var...