中國人的傳統(tǒng)哲學(xué)認(rèn)為世界是普遍聯(lián)系的,事物之間存在著禍福相依的辯證轉(zhuǎn)化關(guān)系。而古希臘人強(qiáng)調(diào)個(gè)體意識,以兩分法看待世界,他們將世界看成是孤立的物體組成(原子論)構(gòu)成,然后選擇一個(gè)孤立物體(脫離背景),開始研究它的各項(xiàng)屬性,接著將屬性泛化,構(gòu)成分類的基礎(chǔ)。西方語言中大量抽象概念都是從作為屬性的形容詞直接轉(zhuǎn)化而來,例如 white --> whiteness 。而中文中很少有精確的類型定義,而多半是富有表現(xiàn)力的,隱喻性的詞語,例如我們不談?wù)摮橄蟮陌祝徽f雪白,沒有抽象的 size ,而只說具體的大小。
亞里士多德認(rèn)為鐵球在空氣中下落是因?yàn)樗哂?#8220;重性”,而木塊在水中漂浮是因?yàn)槟緣K具有“輕性”。這種將一切原因歸結(jié)為事物內(nèi)在屬性的傳統(tǒng)在一定程度上妨礙了西方人認(rèn)識到背景的存在和作用,但使得他們可以把問題簡化。
古希臘人對于類型的熱衷源于他們對于永恒的迷戀。靜態(tài)的亙古不變的世界才是他們的思想棲息的場所。具體的物體是易逝的,多變的,只有抽象的類型才是永恒的存在,也只有抽象概念之間的關(guān)系才是永真的聯(lián)系。而具體實(shí)例之間的關(guān)聯(lián)在某種程度上被認(rèn)為是不重要的,甚至是不可靠的。
將具有某一屬性的所有物體定義為一個(gè)集合,這一做法在上世紀(jì)初被發(fā)現(xiàn)會引起邏輯悖論,動(dòng)搖了整個(gè)數(shù)學(xué)的基礎(chǔ),它絕不像表面上看起來那么單純。但確定無疑的是,通過類型來把握不變的事實(shí)是一種非常重要且有效的認(rèn)識策略。面向?qū)ο笳Z言強(qiáng)調(diào)名詞概 念,從引入類定義以及類之間的繼承關(guān)系開始,這符合西方一貫的作風(fēng)。而 Ruby 這種強(qiáng)調(diào)實(shí)例間關(guān)系的動(dòng)態(tài)語言首先由日本人發(fā)明,可能也不是偶然的。雖然現(xiàn)在大家都在玩高科技了,可實(shí)際販賣給你的多半仍然是包治百病的祖?zhèn)髅胤健N幕赡茉斐烧J(rèn)知上的一種偏執(zhí),在技術(shù)領(lǐng)域這一現(xiàn)象并沒有被清楚的意識到。