函数式编程的两种路线

可能很多人没有意识到,函数式编程(FP)有两种非常不同的路线。

一条路线,为类型疯狂。这条路线的语言以Haskell为代表。这种FP …

更多 ...

从变量说开来

数学的变量与计算机语言的变量不同。数学的变量更抽象,是真的变量。而计算机语言的变量是假的,其实还是属性,是某个 …

更多 ...


读《概念空间》 - 0

Peter Gardenfors, Conceptual Space: The Geometry of Thought, MIT Press, 2004

我先写个总的印象,再逐章总结一下,这书共八章。

这本书的基本思想其实并不新,这个基本思想 …

更多 ...

中国的技术引爆文艺复兴?

《1434》是一个英国退役的潜艇舰长Gavin Menzies写的书,是他的《1421》的后续。《1421》主要是说是中国
人,具体的说,就是郑和舰队的一支,发现了 …

更多 ...





电脑病毒, Linux和中国

昨天我的从中国来的访问学生说他的电脑中病毒了,然后很形象的给我合掌鞠躬,说,熊猫烧香。这个病毒我听说过,没想到 …

更多 ...

与两个小朋友的对话

有一天,海螺子在路上碰到了小爱和小刚。海螺子经常回答这两个小朋友的问题,和他们比较熟。

小刚抱怨说:海螺子叔叔,我 …

更多 ...