我真的认为我们正在进入软件和计算机科学的黄金时代。 未来将会编写大量软件。这将带来一系列新的挑战。感觉应对这些挑战的方式不是框架和平台,而是计算机科学的基础。 这些挑战已经非常明显。例如,管理语法语义差距、在语言系统级别强制安全(难道是时候进行可信计算了吗?)、全系统级别的错误处理和恢复、基于运行时学习演变架构、更高层次的意图形式化、重新思考状态管理和保证等等。 所需的创新遍及整个技术栈。从硅到软件工程实践。我们已经在各个地方看到颠覆,芯片、网络、操作系统、语言、语言运行时、分布式系统、平台支持、安全等等等等。 真是个好时光。