類型化：形而上學的信仰

       有一個心理學實驗，要求被試者将青草，公雞，牛三個東西分成兩組，結果多數中國兒童将青草和牛分成一組，而多數美國兒童将公雞和牛分成一組。中國人的思想中青草和牛之間存在現實的關系，牛吃草，而西方人的典型邏輯是公雞和牛都屬于動物這一範疇。通過分類将物體類型化，這是西方人從小就接受的訓練。據說美國嬰兒學習名詞的速度要快于動詞，而中國的嬰兒則相反，這并不是偶然的。

       中國人的傳統哲學認為世界是普遍聯系的，事物之間存在着禍福相依的辯證轉化關系。而古希臘人強調個體意識，以兩分法看待世界，他們将世界看成是孤立的物體組成（原子論）構成，然後選擇一個孤立物體（脫離背景），開始研究它的各項屬性，接着将屬性泛化，構成分類的基礎。西方語言中大量抽象概念都是從作為屬性的形容詞直接轉化而來，例如 white --> whiteness 。而中文中很少有精确的類型定義，而多半是富有表現力的，隐喻性的詞語，例如我們不談論抽象的白，而隻說雪白，沒有抽象的 size ，而隻說具體的大小。

       亞裡士多德認為鐵球在空氣中下落是因為它具有“重性”，而木塊在水中漂浮是因為木塊具有“輕性”。這種将一切原因歸結為事物内在屬性的傳統在一定程度上妨礙了西方人認識到背景的存在和作用，但使得他們可以把問題簡化。

       古希臘人對于類型的熱衷源于他們對于永恒的迷戀。靜态的亘古不變的世界才是他們的思想栖息的場所。具體的物體是易逝的，多變的，隻有抽象的類型才是永恒的存在，也隻有抽象概念之間的關系才是永真的聯系。而具體執行個體之間的關聯在某種程度上被認為是不重要的，甚至是不可靠的。

       将具有某一屬性的所有物體定義為一個集合，這一做法在上世紀初被發現會引起邏輯悖論，動搖了整個數學的基礎，它絕不像表面上看起來那麼單純。但确定無疑的是，通過類型來把握不變的事實是一種非常重要且有效的認識政策。面向對象語言強調名詞概念，從引入類定義以及類之間的繼承關系開始，這符合西方一貫的作風。而 Ruby 這種強調執行個體間關系的動态語言首先由日本人發明，可能也不是偶然的。雖然現在大家都在玩高科技了，可實際販賣給你的多半仍然是包治百病的祖傳秘方。文化可能造成認知上的一種偏執，在技術領域這一現象并沒有被清楚的意識到。