427.技术先进是真的先进（1/3）

如果巴贝扬知晓那些曾经发生过一次的事情，他一定会难过的。

好在，此时，一切都还没有发生，并且再也不会发生，他的衣钵传人不会再次离他而去，他的毕生心血也不会再次成为因特尔的垫脚石。

巴贝扬兴致盎然地谈论着elbr的设计理念：

“我们在1972年启动了elbr10项目，当时，我们决定这款超级计算机必须支持高级语言编程。

首先，我们要搞清楚高级编程的含义，这个非常有趣，而且非常重要。

当时，现存的的语言并不满足elbr的需求，例如algl或frtran，因为它们都是为了在现成架构上成功运行而发明的，而我们的架构是新的。

为此，我们考虑了很多方案，包括构建一个以语言为导向的新架构，还有句法（ynta），但这些都不是正确的。

我们最终定下了真正的高级语言应该支持的类型，并构建了类型安全的架构。”

（“类型安全”的含义不用管，只需要知道是编程语言的特性即可。）

赵德彬随即问出了一连串的问题：

“你们是怎样处理这些类型？

这些语言应该是按动态还是按静态的类型？

当我们声明某个变量时，这个变量是否应该被分配到某个特定的类型，还是动态分配的？”

从这里就能看出，赵德彬已经沉迷进技术当中了。

伊戈尔接上了话茬：

“对于通用性来说，它应该是动态的。

通用性意味着我们能够使用这种语言构建一个操作系统，而操作系统正在与用户代码一起工作。

用户代码已经编译，因此它不能是静态的。

我们都很清楚，真正的高级语言是动态类型的。”

巴贝扬说道：

“很多人喜欢动态语言，比如alltalk、lp、eler，它们有的非常出色，但由于动态检查太多了，性能非常低。”

紧接着，出乎赵德彬的意料，巴贝扬谈到了ava：

“有些语言拥有类型安全性，但不具有通用静态类型，就比如你今年发明的ava。

我不否认ava确实是个好用的语言，但用ava编写计算机操作系统是不可能的，性能非常低，只能做点灵活的小玩意。

无意冒犯，你好像还不是博士生？”

“是的，我还是个本科生。

没想到教授你对ava也有所了解，我感觉太荣