小S不小

小S不小
三点

（模仿The little schemer而作）


看官：本人

小S：The little schemer简写

看官：小S，这名字够嗲的。

小S：其实我不小哦，你应该知道我在说什么。

看官（叹气）：你老爸建议认识你不要少于three settings，但我用了thirty settings也没有完全了解你的心，唉。

小S：那当然，老爸不是对你说“study hard and enjoy”了吗。

看官（开始献殷情）：其实一开始看到你，我就知道你和其他不一样。这种对话式的写作手法我只在Plato的对话录里读到过，而想要完全读懂Socrate的语言是多么不容易。而且，后来采用它的科技著作少之又少。伽利略好像也用这种手法写过书，不过他的目的可能是想模糊自己的立场，通过宗教裁判所的检查吧。

小S（撒娇似的）：这我倒不知道。其实老爸选择这种写作方法也是迫不得已，他想让读者自己得出结论。我们知道一般的书都是直接给结论的，但老爸觉得这样剥夺了读者思维的乐趣。

看官：有道理。不过老爸为什么要选你Scheme呢，而不是大多数人用的C/C++，Java之类的，流行的语言？那一行行的括号看的我头都大了。

小S（装大人口气）：看来一定要讲一讲我家的历史了。（清一清嗓子）你认识我的哥哥Lisp吗？

看官：是那个金黄头发的胖胖的帅小伙吗？

小S：Paul Graham叔叔写过一篇“The Roots of Lisp”。其实，爸爸从来都没有想过他会长的这么帅，这么受欢迎。我们家世代都是做科学研究的。爸爸原来也指望他在研究院谋个教职，没想到他在工业界也受欢迎。最妙的是，哥哥本身就是自己数据结构list，所以他能非常方便地自己解释自己。定义7条最基本的函数，而我爷爷McCarthy在最早的论文里用了5条函数，只比欧几里得的几何学公理多1条。所有其他的函数都可以由这些基本函数推导得来。我和哥哥在这一点上几乎是一样的。我们家的格言是“认识你自己”，那是太阳神Apollo的神谕。我的祖先是太阳神的后代。

看官（激动）：是不是那些括号，其实我在开始读你的时候，就有点意识到这一点了。

小S（骄傲）：就是这个，这是我们家的最显著的特征，如果没有那些括号，我和我哥哥就没有魅力了。你看看其他的计算机语言，哪一个本身就是数据结构。他们怎么能和我和我哥哥比，哼。

看官（想笑但没有出声）：他们当然不能和你比。（正色）而且我只在你的身上看到了数学上的美。

小S（神秘）：PG叔叔的文章里讲了我哥哥Lisp和他的解释器，但没有我和我的解释器漂亮。我的哥哥年级大了，垃圾食品吃的多，有点发胖，在家里我们都叫他胖子。但我不一样，我一直在减肥，那些男性杂志还要我去拍封面照呢。我爸爸最喜欢我了。

看官：但是你太难懂了，你...

小S（不耐烦地打断）：我的前7章实际上还是比较简单的，你在DrScheme上coding我就可以了。DrScheme是一个很棒的调试环境。第8章讲的是如何在recursion时同时collect more than one value at a time，也就是continuation。第9章是Turing停机证明和Y combinator的推导，Y combinator是实现recursion的方式。第10章是关于我的一个最简单的解释器，不过我卖了个关子，没有告诉你define怎么写，而且也没有把数据和函数分离，你可以自己想想。你在这3章上花的时间可能比前7章都要多。

看官：不错，我从来没有想过能去研究一下计算机语言的解释器。你知道我是做硬件的，比较底层的东西。恩，Scheme的data和function好像是用一个environment的吧 。

小S（脸红了）：我的解释器大概是所有计算机语言里最简单的了，所以你知道能完全理解我，离认识我的姐姐大S“the seasoned schemer”也不远了。我爸爸觉得读懂她，就能入nature of computing的大门了。

看官：我家隔壁开了一家山东煎饼店，一整张饼只要不到10块钱，又脆又香，老板的小女儿也很cute。我们一起去吧。

小S：恩，放松一下。

另一篇，时间的女儿，http://www.douban.com/note/224590945/