推 jtmh:我覺得比較像大家來找碴，找出 spec 中兩套 grammar 不一致 11/02 04:59
→ jtmh:的地方，另外也驗證他們研究中的 grammar convergence 的重要 11/02 05:04
→ godfat:也就是說，任何 spec 都有辦法這樣找出來嗎？ :p 11/02 21:27
推 jtmh:講「任何」我就不敢保證了，不過他們的方法應該有一定的能力 11/02 22:50
Java 文法不安全？
http://flolac.iis.sinica.edu.tw/lambdawan/node/95
draft paper 在這：
http://www.uni-koblenz.de/~laemmel/jls/
我沒細看，也沒看過 java spec, 有人知道他想表達什麼嗎？
spec 語意前後不一？還是？
--
In Lisp, you don't just write your program down toward the language,
you also build the language up toward your program.
《Programming Bottom-Up》－ Paul Graham 1993
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.135.28.18