※ 引述《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/cn.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)