※ 引述《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://www.ptt.cc/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)