我真的認為我們正進入軟體和計算機科學的黃金時代。 未來將會寫出大量的軟體。這將帶來一系列新的挑戰。而且,感覺應對這些挑戰的方式不是框架和平台,而是計算機科學的基本原則。 挑戰已經非常明顯。例如,管理語法語義差距、在語言系統層面強制安全(難道終於是可信計算的時候了?)、全系統級別的錯誤處理和恢復、根據運行時學習演變架構、更高層次的意圖形式化、重新思考狀態管理和保證等等等等。 所需的創新遍及整個技術堆棧。從矽晶片到軟體工程實踐。我們已經在各處看到顛覆,無論是晶片、網絡、操作系統、語言、語言運行時、分佈式系統、平台支持、安全性等等等等等等。 真是個好時代。