@右席
我覺得文中的方式拐了一個彎，用unsafeCoerce更直白一點，直接就能看出代碼的目的

@右席 各人理解不同，但這是個很優雅的解決方案，與Y組合子定義一致
我反而覺得這種不需要類型檢查時顯式地自行保證類型的準確的做法是優點，這和繞過類型檢查在概念上是不同的。就如同隱含轉換和強制轉換的區別，現在都認為隱含轉換是邪惡的，強制轉換才是正確的方式。
另外請你解釋一下你的高大上的標準-。-

import Unsafe.Coerce

y :: (a -> a) -> a
y = \f -> (\x -> f (unsafeCoerce x x)) (\x -> f (unsafeCoerce x x))

Y Combinator的好文要看這篇:http://mvanier.livejournal.com/2897.html
寫的很清晰

樓主你該完整的看一下 C專家編程

想改變現狀的人做了個新的語言出來,于是想出名的人有了可以噴的東西,評論家靠發明家吃飯.

尾遞歸是解決優雅代碼和性能的良方

這個問題的原因是DirectX修改了系統行為強制把浮點數定為單精度，造成lua整型的范圍變小了

開源軟件在事實上使得共享軟件的質量變得更高，這對整個市場和用戶都是良性的

Textmate人家照樣賣的很火爆，共享軟件如果連開源軟件都不如，又如何開口向用戶要錢呢