http://lambda-the-ultimate.org/node/1277
Tim Sweeney 在 POPL 給的演講，從遊戲設計者的角度談他所
心目中的下一個程式語言應該有的能力。提到的幾點包括
. 用型別排除大部分的 runtime error. 包括用 dependent
type 來避免 array bounds checking;
. 他認為 garbage collection 是絕對必要的（之前在 programming
板上好像有不同的看法？）;
. 對 concurrency 多支援，他認為這和 type 是相關的；
. 認為 "lenient evaluation" 可能是另一條路。
不知道為什麼他覺得 Haskell 語法很 "scary"...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.109.20.217
※ 編輯: noctem 來自: 140.109.20.217 (03/05 14:30)