看板 PLT 關於我們 聯絡資訊
剛在group上看到一個討論 把semantics checking 拿掉的可能性 http://groups.google.com/group/comp.compilers/ browse_thread/thread/c2f5896204f43212?hl=en# sorry 不會縮網址 裡面有個回文是Anton Ertl 一直覺得這名字很熟悉 原來之前有看過他講registered-base VM的paper -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 211.22.63.250
noctem:綜合意見似乎是: 看所謂 "syntax" 的定義是什麼。這樣講是 10/01 13:29
noctem:有道理的。原作把結論說成"it's possible"好像太快了點。 10/01 13:30