函数式编程的两种路线

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

一条路线,为类型疯狂。这条路线的语言以Haskell为代表。这种FP,一切以类型为
中心,编程的主要任务,是要把类型搞对了,让编译器高兴,号称是“如果程序编译通
过了,程序就是对的”。这条线来自学术界,有很长的历史,是FP的主流路线,有很多
其他FP语言以此为模版。科班出身的同学们说到FP,说的就是这条路线的FP。可能他们
上学的时候学过Haskell,甚至可能还给Haskell课当过助教,但是他们恨死了Haskell
。所以这些同学们,是打死不信FP能实用的。

科班出身的同学们不知道的是,FP还有另一条路线,与Haskell完全不同,它为数据疯
狂。这条路线的语言目前只有一个样本,就是Clojure。这条路线是野路子,来自一个
没有CS背景的学音乐的程序员,名字叫Rich Hickey。他发明Clojure是让自己还可以继
续编程下去。他当时主要用C++编程接活,还在NYU教过C++。但2007年的时候他觉得自
己身心俱疲,被并行编程快搞疯了 …

更多 ...

从变量说开来

数学的变量与计算机语言的变量不同。数学的变量更抽象,是真的变量。而计算机语言的变量是假的,其实还是属性,是某个内存地址或者寄存器的属性。

一个非程序员A,第一次编程,看到变量,会很疑惑,比如我当年,“这是什么东西的 的变量啊”? 后来明白了,原来就是一个地址可以存不同的东西啊,明白了。指针?这不是很明显么,就是地址啊,有什么难的? 另一个非程序员B,第一次编程,看到变量,说,哦,我知道,数学上小学就学了的,变量就是数学上的变量啊,懂了。结果看到指针,蒙了,数学上没有指针啊,到底什么是指针啊?

人和人的思维方式不一样,从对数学的态度可以看出。有的人,比如冯诺伊曼,说“ You don't need to understand mathematics, you just get used to it …

更多 ...

一个关于儒家核心价值观的对话

下面是一个中文BBS上发生的一个关于中国传统文化和价值观的对话,我简单编辑了一下,贴在这儿,也许对某些人有所助益。

[猴娘]  基督教中国化,会不会产生一个类似禅宗一样的新宗教呢?儒学和基督教的融合,存在什么样的困难?
...

[东沟]  ...儒家其实从鸦片战争之后就有所蚕食,五四以后开始被踹,文革时候彻底踹倒。然后改革开放的现代化把其经济基础彻底瓦解,连死灰复燃的机会都没了。一句话:我没有说文革十年毁掉中华文化,我说的是文革十年在中华文化的破房子上踹上最重也是最终的一脚。

今天儒家只能当历史瞻仰,不可能当做信仰。你可以对儒家有无限怀念,但你绝对不会三妻四妾,绝对不会趋义弃利,父母死了绝对不会三年守孝,要是女的更绝对不会三从,也绝对不会饿死事小,失节事大等等等等。你可能会“三思而后行”,会“满招损谦受益”,会“学而时习之”,会“己所不欲勿施于人”,但因为这些东西跟普世价值太像了,你不能说信奉他就是信奉儒家。

[火柴]  你真逗,因为不能“三妻四妾趋义弃利三年守孝三从饿死事小失节事大”,所以儒家灭了。因为“满招损谦受益,学而时习之,己所不欲勿施于人”跟普世价值太像了,所以不能叫儒家得叫普适价值。感情叫不叫儒家不取决于自己,取决于别人 …

更多 ...

读《概念空间》 - 0

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

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

这本书的基本思想其实并不新,这个基本思想就是用几何的观点来看认知。R.N. Shepard, J.Feldman等等很多认知心理学家的文章里面隐含就有类似想法,当然都没有系统阐述这个观点。我个人在读这本书之前其实早就已经认同了这个几何观点,并把有些想法用在了自己的工作中。所以当时买了这本书但一直没有认真读,觉得可能没有太多新东西。最近读了一遍,觉得还是有点料的,现在在看第二遍,随便作个总结和科普。

作者不是正统认知心理学出身,而是学哲学搞符号逻辑出身的,早年以搞belief revision成名。不知怎么的,在九十年代初突然就觉得符号逻辑的路途不通,转成了几何的路子。这本书用很大篇幅比较认知理论的三条道路:符号,几何和神经网络。他认为这三条道路并不相互排斥,而是从上到下的三个不同的层次。

这种层次论似乎对应于Marr的三个层次:计算,算法和实现。但好像又不太一样。作者没有对比。我个人理解作者主要是从科学哲学的角度来说的:科学理论是人的理论,必须是人能够理解和把握的 …

更多 ...

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

《1434》是一个英国退役的潜艇舰长Gavin Menzies写的书,是他的《1421》的后续。《1421》主要是说是中国
人,具体的说,就是郑和舰队的一支,发现了美洲。自然,有很多人质疑。其中一个观点就是如果中国人发现了美洲,咋没到更近的欧洲?《1434》就主要讲郑和的舰队的一支,在最后一次出航的时候的确到了意大利,并且带去了技术引爆了文艺复兴。 这本书也花很大篇幅介绍了中国舰队使用的星相航行技术的细节,弥补了上一本书的一些缺陷。

这本书的前两页我翻译了一下:

-------------------------
我(Gaviin Menzies)在写《1421》的时候,有一件事让我百思不得其解,这就是为什么很多职业历史学家如此缺乏好奇心。毕竟,哥伦布被认为是在1492年发现了美洲,但在他出航的18年前,他就已经有了一份美洲地图,并在他后来的航行日志中承认了。事实上,在他第一次出发前,哥伦布与西班牙国王和王后就签了合同,聘他为美洲总督。在1492与他同行的一个船的船长,Martin Alonso Pinzon,也在教皇的藏书室里见过一份美洲地图。你如何可以发现一个你已经有了地图的地方?

同样的问题可以问麦哲伦,连接大西洋和太平洋的海峡被以他这个伟大的葡萄牙探险家来命名。当他在1520年到达那个海峡的时候,他已经断粮了 …

更多 ...

心理学能成为一门关于思维的科学么?

心理学能成为一门关于思维的科学么?

斯金纳

就像过去的哲学家一样,过去很多心理学家试图通过观察自己的内心来寻求对行为的解释。通过内省,他们能观察自己的感情和心理过程。不过,内省的方法一直都不太让人满意。哲学家们承认这种方法的缺陷,但还是坚持认为这是自我认识的唯一方法。心理学家曾经尝试着去完善这种方法,使用受过训练的内省者和那些被威廉.詹姆斯很看不上的铜质仪器­。现在再也没人使用内省的方法了。认知心理学家号称可以认识到(心理)表征,甚至可能认为心理表征是唯一能够被认识到的东西,但他们并不号称他们能观察到自己处理心理表征的过程。心理分析师面对同样的问题:无意识的心理过程是不能被直接观察到的。和心理分析师一样,认知心理学家也转向用理论来解决问题。但是理论需要被验证,于是很多人转向了脑科学,在那儿,(心理)过程号称是可以被观测到而不仅仅是被内省到的。如果思维是 “大脑干的事”,而大脑又可以像其他器官一样被研究,那么最后,脑科学就应该能告诉我们以下过程到底是咋回事:建立一个对现实的心理表征,在记忆中存储心理表征,把目的转化成动作,感觉到快乐和悲伤,得出一个逻辑结论,等等。

但是,就如同思维或自我被认为能产生行为那样,大脑也是能够自发产生行为的么?大脑是身体的一部分,大脑干的事是身体干的事的一部分,也是需要被解释的东西的一部分。身体及其大脑是从哪里来的?为什么它们每时每刻都在发生细微的变化?对这些问题,我们不可能在身体及大脑本身上找到答案,无论是用内省的办法也好 …

更多 ...

大草原和越野车:谈谈科学的硬壳(上)

到非洲撒哈拉沙漠以南辽阔的大草原(Safari)上旅行可能是很多人的梦想。在电视上大家可能看过这样的镜头:纯净高远的蓝天之下,水草丰美的草甸之上,大群大群的野生动物随意倘佯,与坐在越野车上的游客咫尺相邻,兴奋的游客们有的照相,有的惊呼指点,好不快活。不过,如果知道这些游客在上车前受到的警告,可能有人就不会觉得有这么快活了。我手头的这本旅游杂志是这样转述这些警告的:“不要下车,否则狮子会吃了你!不要把身体伸出车外,否则狮子会吃了你!”可以想见,当人们读到有游客因为下车到灌木从中撒尿而被狮子咬死的新闻的时候,是如何地既感到惋惜,又止不住有一种的哑然失笑的感觉的。当我听到有人哭喊着抱怨说“哲学不应该来指导科学”的时候,就想起了那些下车被狮子咬的游客。

如果我们把大草原想象成各种思想争奇斗妍的大舞台,大草原上各种野生动物就是如各色各样的非科学的思想,哲学的,宗教的,学院的,民间的,各不相同,千奇百怪,而科学,就如那驰骋在大草原上的越野车,自由自在,想到哪就到哪,所到之处,野生动物纷纷避让,科学简直就是无往而不胜的啊。科学的胜利难免让乘坐在科学的越野车上的人们产生了自己是不可战胜的幻觉,贸然走到车下,于是就有了人被狮子咬的新闻。

人们不应该忘记了,科学的战无不胜的原因,就如越野车一样,在于它本身具有的钢铁硬壳。没有硬壳的保护 …

更多 ...

嫉妒教信的是假道么? 一个教义的分析

面对嫉妒教徒(1)的所作所为,很多人很疑惑,为什么这些自称以耶酥为楷模的人群,
行为上和耶酥所教的往往是背道而弛呢?我现在说的行为,并不是指个别嫉妒教徒的恶
行,而是在嫉妒徒中普遍的存在的,在外人看来是虚伪的行为。一个极端的例子,就是
前美国新教福音派领袖Ted Haggard。而不那么极端的例子,读者如果留意,就可以在
身边找到。正如甘地所说:"我喜爱你们的耶酥,只是太多的嫉妒徒和耶酥实在太不像
了。"(2) 这样的差异的来源是什么? 本文试图从嫉妒教的教义和历史中寻求答案。

信嫉妒教的朋友们可能都知道,没有保罗,就没今天的嫉妒教。几乎完全是靠保罗一个
人的超强的组织能力,口才和热情,才使得嫉妒教在犹太人以外传播开来。指导嫉妒徒
日常生活的教义,基本上来源于保罗对教义的阐述。一本新约,只有前面四篇福音是纪
录耶酥的言行,剩下的倒有十四篇经文是纪录保罗的言行,篇幅和福音差不多长。就是
福音,保罗的印记也很明显。比如说,路加福音的作者就是保罗的弟子,马可福音的作
者也和保罗一起旅行传道过。事实上,新约的最早内容就是保罗的书信 …

更多 ...

Interesting Comments on The Election From MITBBS

So funny!


发信人: restarted (New Day), 信区: USANews
标 题: Re: obama说昨天hillary clinton赢是因为媒体帮忙
发信站: BBS 未名空间站 (Wed Mar 5 21:30:17 2008), 转信

所以他老婆说他是绝无仅有的。。。。

【 在 sleeping (此ID重新启动) 的大作中提到: 】
And, he published nothing in the Review over which he presided as President!
The law students on the Review all have …
更多 ...

电脑病毒, Linux和中国

昨天我的从中国来的访问学生说他的电脑中病毒了,然后很形象的给我合掌鞠躬,说,熊猫烧香。这个病毒我听说过,没想到在美国还有人中招,很吃惊。来美国以后,我很有一些年没被电脑病毒所困扰了。唯一的一次病毒事件,还是中了那个有名的‘爱情信’病毒。当时我从学校Samba服务器上把我的一些图片下到我的Windows机器上,马上就意识到了问题,因为硬盘开始疯狂地转,我一看task manager,有个进程用了100%CPU,我立即就把它杀了,然后用杀毒软件一查,果然,Love Letter病毒。我当时就写信给学校的bug buster小组,大大得抱怨了一番,他们回信道歉,说可能是有人的机器中了毒,随便就把文件服务器上的所有图片文件都染上了。从那以后,我就不太喜欢Samba文件服务器了,因为虽然服务器是Unix机器,不会染上毒,但上面的文件会被连着的Windows机器染上,而且,根本就不会被知道。这一次,是这个学生从中国带来的移动硬盘把毒带来的。据他说,中国的工作单位里还是像我十多年前在国内时一样,病毒很猖獗。我就说了,那为什么在中国大家还是宁可用盗版的Windows,天天被病毒所困扰,都不愿意用Linux呢?他说,Linux更难啊。我就说 …

更多 ...

与两个小朋友的对话

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

小刚抱怨说:海螺子叔叔,我有个问题。买买提信仰版上贴满了很多狗屁不通的信仰文章。好多我看都很荒唐啊,我回贴反驳,可是没人理我,这些人只是不停地贴这些东西,这是为什么啊?

小爱说:对呀。还有好多人使劲来找我谈天,好讨厌哦。

海螺子说:哦,这个呀,这是因为有人有东西要卖。你看电视上广告很多,都是要卖东西的;邮箱里垃圾邮件很多,也都是要卖东西的。真正有用的信息,不是这么不请自来的,你反而需要在网上找,打电话问,上帖子求的。

小刚问:那这些人要卖什么?

海螺子说:卖"福音"。

小爱问:卖"福音"?"福音"是什么呀?

海螺子说:福音就是"耶稣死而复活"。

小刚问:耶稣死而复活关我们什么事啊。再说了,这福音有什么用处?

海螺子说:嘿,这里面卖点多了 …

更多 ...

人生来就是无神论者么?

有的嫉妒徒总是说人生来就是无神论者。言下之意,就是说有神论者是更高级的,是已
经过了无神论者这一初级阶段的人。而无神论者自然是还在初级阶段,也就是还没发育
完全的人。这篇文章,就是随便科普一下有关的话题,同时讨论一下这种说法有没有道
理。

首先,说人生来就是某某论者,在熟悉现代科学的人看来是荒诞不经的说法。人可能是
生出来的时候发展最不完全的一种动物了,除了吃奶和哭,啥也不会,怎么可能是某某
"论"者?论不起来的。虽然人的大脑在出生以后神经元的数目是基本不变的,但人的
智能主要体现在这些神经元之间的突触联系上。而这些突触,也就是神经元和神经元之
间联系的接口,主要是在出生后形成的。神经元A和神经元B连不连,如何连,都是后天
刺激决定的。这种说人先天就知道某某东西的理性主义论调是早就被科学和哲学都抛弃
了的。一个例子,狼孩因为缺乏早期的正常发展,回到人类社会后也不可能学习并形成
和正常人一样的功能。如果是人的知识和功能都是先天的,狼孩就应该可以被训练回人
的习性,但事实上是不可能的。因为不同功能的脑区的突触发展是有关键期的。在这个
关键期内没得到正常刺激,正常功能就发育不出来。一个得炸药奖的研究,就是发现小 …

更多 ...

略论英美国民宗教观念差异的原因,顺便谈谈中国

刚才有网友转贴英国卫报的文章(1),说民调显示,英国多数人(82%)认为宗教的害处 多于好处,同时有三分之二的英国人认为自己并不虔信宗教。有意思的是,英国是有法 定国教(Anglican)的国家,英王本人同时也是国教教会的教主。反观美国,宪法是明 文规定政教分离的。而且,美国重要的国父,如杰佛逊和富兰克林,都是自然神论者( Deist),并非嫉妒教徒。但是,在现代美国,宗教,特别是嫉妒教的影响力是无处不在 的。美国多数人(80%)是嫉妒徒,40%的人自称经常参加教会活动(2)。美国政客如 果不自称为虔诚教徒,是几乎不可能在政坛上取得成功的。照理说,英美语言文化都一 脉相承,相互影响,为什么在国民的宗教观念上差异如此巨大?

对这个英美国民宗教观念差异的根源问题,我的假设是,这是两国哲学思想上的差异, 特别是在教育思想上的差异造成的。这儿的教育指从幼儿园到高中(K12)的学校教育 。到了大学 …

更多 ...

我为什么把Christianity翻译成嫉妒教

主要有3个原因。

首先,我一直对"信达雅"的翻译准则中的"雅"很不满。"信达"即可,追求"雅"就是人为 地加入原文中没有的东西,与"信达"是矛盾的。事实上,很多英文本身是很不雅的,非 要翻译得很雅,就有误导读者的嫌疑。我个人认为,这种美化外文的习惯也助长了一些 人盲目地崇洋媚外的心态。相反,如果不盲目追求"雅",而是正确反映原文自身的味道, 那才是好译文。比如,傅东华翻译的<飘>,就把握得很好,显然比后来的译本好多了。 “郝思嘉”、“白瑞德”、“饿狼陀”和“曹家屯”翻译得都很传神。

第二,Christianity只是来源于一个人名Christ,本身没有意思,翻成基督教,就赋 予了它本身所没有的含义:"基"有根本之意,"督"有权威之意 …

更多 ...

自由意志是人的物质特征的一个体现

当代无神论首席发言人道金斯在一个辩论[1]中说他不关心自由意志,自然就让人觉得落了下风。其实,这个问题的回答可以很简单:所谓自由意志,无非是人作为物质的一个必然表现。

物质的一个本质特征就是其随机性,所谓的测不准定律,就有这个意思。要是人没有自由意志,那才奇了怪了,才需要解释, 才有引入神的必要:"也许人真的很特殊,不完全是物质的?". 而人有自由意志,是不需要解释的,是物质就会有随机性,体现在人脑活动中,就是所谓自由意志.

有人回文,说“人的思维在物质水平上要牵涉到微观的层次吗?“好像测不准定律只是个量子论概念. 殊不知,信息处理也是遵循测不准定律的. 学信号处理就知道Heisenberg uncertainty限制所有的现在已知的信号处理机制,傅立叶分析,
小波分析, 等等: 当你在时间上能精确定位一个信号的时候,你对这个信号的频率和能量就不能精确的量度.事实上,这种不确定性,是由信号的本质决定的.与信号处理实现的机制无关.微观也好,宏观也好,只要是在处理信号,就有结果的不确定性。

如果说人的大脑是个信号处理器,那它也要遵循一样的测不准原则。 跟我以前基于机械唯物论而完全否定自由意志的看法不同,我现在的看法是:即使你知道了一个人的一切的一切成长环境和遗传因素,你还是不能100%准确预测这个人在某个具体时刻会想啥 …

更多 ...