好的编程语言设计资源？

Question

Javascript:好的部分是一本很棒的书。我经常从语言设计师的角度阅读以下段落：

undefined和NaN不是常量。它们是全局变量，您可以更改它们的值。这是不可能的，但事实确实如此。不要这样做。

外卖：

1. 不要在我的Javascript代码中更改undefined的值。
2. 在设计语言时，使其等价于undefined不可变。

另一个更微妙的例子是"for in不应该对原型属性进行枚举“。

我想要一本书，在特定语言的语境之外，讨论语言设计的这些问题。

如果你试图设计“完美”的OO语言，你会读些什么书作为指导呢？

Answer 1

网站“lambda”很大程度上是关于编程语言的，他们偶尔也有一些好的资源，尽管他们对学术方面的东西更感兴趣。例如，函数式编程就很重要。

http://lambda-the-ultimate.org/node/3

http://lambda-the-ultimate.org/papers

http://lambda-the-ultimate.org/node/492

Answer 2

您可以从与Java、Ruby、Objective和其他地方相同的地方获取一个页面，并查看Smalltalk背后的设计原则。其中大部分是关于对象间通信的基础材料，而不是关于Smalltalk的任何具体内容。

至于关于langauge设计的真正深思熟虑的书籍，我认为C++的设计与演进绝对值得一提。我很犹豫，因为你说你想要“完美”的OO语言，而C++远不是完美的。不过，你可能还能从中学到很多东西。

不过，您提出的要点似乎更多地与最小惊讶原则或最小惊喜规则有关，而不是与语言内部的设计有关。

Answer 3

C++的设计与演进很好。

面向对象的软件建设也是。

他们是相当特定的语言(C++，埃菲尔)，但有许多语言不可知论的课程。