※ 引述《noctem (noctem)》之銘言： : http://lambda-the-ultimate.org/node/1277 : Tim Sweeney 在 POPL 給的演講，從遊戲設計者的角度談他所 : 心目中的下一個程式語言應該有的能力。 大概看過去了，一部分贊同，一部分存疑，一部分不太懂。 : 提到的幾點包括 : . 用型別排除大部分的 runtime error. 包括用 dependent : type 來避免 array bounds checking; 我不知道這有什麼難的？C++ template 就能做到了。 有什麼我誤解的地方嗎？ : . 他認為 garbage collection 是絕對必要的（之前在 programming : 板上好像有不同的看法？）; 我覺得這邊講得似乎太絕了點？ :( GC 很有用，可是應該還有其他很重要的處理法。 雖然 RAII 似乎也被稱作 GC? : . 對 concurrency 多支援，他認為這和 type 是相關的； 這部份贊同，不過他預測 2009 會有： 20 cores, 80 hardware threads 有點嚇人|||b : . 認為 "lenient evaluation" 可能是另一條路。 這部份我就不太懂了，查不太到 lenient evaluation 的資料…。 : 不知道為什麼他覺得 Haskell 語法很 "scary"... 我猜是因為符號比 ML family 多…？ 不過兩個都不熟這樣亂猜好像不太恰當 :o * 底下討論翻了一下，果然爭議好像不少 只是這麼一大串實在是……很懶得看啊 應該也不是多重要就是了 edited: 忘了講，他最後對 type inference 的感想，實在不敢認同 :o 除非他想要的是 dynamic typing, 否則以 static typing 來說， type inference 應該絕不會比手動宣告要來得差，還是還有什麼 特別的方法？ 他舉的例子好像也跟 type inference 沒啥關係吧…？ 只是單純把不適當的東西相加而已。 -- #!/usr/bin/ruby [露比] /Programming (Kn|N)ight/ 看板《Ruby》 # if a dog nailed extra legs that http://webptt.com/m.aspx?n=bbs/Ruby/index.html # walks like an octopus, and Welcome ~Ruby@ptt~ # talks like an octopus, then ◢█◣ http://www.ruby-lang.org/ # we are happy to treat it as █ http://www.ruby-doc.org/ # if it were an octopus. ◥ ◤ http://www.rubyforge.org/ --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.135.28.18 ※ 編輯: godfat 來自: 220.135.28.18 (03/12 23:00)