re: （一）初識Luajit 右席 2016-01-12 10:27
@可惜了
最近改做hotspot了，工作用不到lua了。。。就沒繼續看了。。
re: 類型系統與圖靈完全 右席 2014-09-04 19:00
@noname
本來Y組合子就是沒啥（實際）意義啊。。
haskell的類型系統本來就是HM+一堆補丁組成的，我沒明白為啥需要一個 “類型系統加一個Y組合子”，本來就支持函數的命名，直接調不就可以了嘛
re: 類型系統與圖靈完全 右席 2014-09-04 15:38
@Noname
原來叫self application , 不過對這個的處理和對最后那個例子上的處理本質都是一樣，原生（不打補丁）的HM系統就是搞不定這個嘛
"\x -> x x不是typable的" 這是針對簡單類型lambda演算來說，haskell不支持，但是Ocaml打了這個補丁可以支持哇~
還有那個fix函數，這就是不動點的定義啊，不能叫Y嘛，Y寫成那樣的目的就是為了做出fix函數的樣子來，還不能在式子中出現“fix”這個名字(不引入名字)。
（我一直在看書學習哇~~ 歡迎交流~~
@Quon 額。。“高大上”是玩笑話拉，文中提到的那個做了一次beta變換之后也和定義一致嘛。我倒是覺得文中的那個寫法沒有用到額外的擴展，更像是用純粹的haskell做出來的東西，unsafeCoerce則像是給類型系統打上的hack
@Quon 這個unsafeCoerce也是繞過類型檢查嘛，而且不高大上 （逃