javascript中的原型模型可以学到什么？

Question

这个问题是从语言设计的角度来看的。

我应该解释一下情况。 我正在开发一个不支持原型的 javascript 变体，但是它早该有一个像样的类型系统（最重要的是对 instanceof 的支持）。 ecmascript 规范并不重要，所以我可以自由地实现一些不同的、更适合的东西。

在变体中： -

• 您不使用 function foo() 声明构造函数，而是在模板文件中声明构造函数，这意味着构造函数存在于命名空间中（由文件的路径决定）
• 目前所有继承行为是通过应用模板来完成的，这意味着所有共享函数都被复制到每个单独的对象（毕竟没有原型）。

我从来都不是一名 Web 开发人员，这让我处于一个有点奇怪的境地：我从来没有在愤怒中使用过原型。 尽管这并没有阻止我对他们有意见。

据我了解，我对原型模型的主要问题是

• 地乱扔对象名称空间、obj.prototype、obj.constructor（这是一个不成熟的反对意见，试图保留将对象视为映射的能力，但它们可能不是？）
• 不必要 在运行时更改共享行为似乎没有必要，直接使用额外的间接级别会更直接obj.shared.foo()。 特别是，这是一个相当大的实现难题，
• 人们通常似乎不太理解原型，例如原型和构造函数之间的区别。

因此，为了解决这些问题，我的想法是使用一个特殊的运算符 constructorsof。 基本上，原则是每个对象都有一个构造函数列表，您有时会想要访问这些构造函数。

var x = new com.acme.X();
com.acme.Y(x,[]);      // apply y

(constructorsof x) // [com.acme.Y,com.acme.X,Object];

x instanceof com.acme.X;   // true
x instanceof com.acme.Y;   // true

感谢所有反馈，我知道可能很难理解我的观点，因为我想传达很多内容，但这是一个重要的决定，专家的意见可能是无价的。

• 任何可以提高我对原型模型的理解的东西，无论是好的还是坏的。
• 对我的提案的想法

谢谢，

迈克

编辑：提案希望现在有意义。

Answer 1

Steve Yegge 写了一篇关于原型模型。

Answer 2

我认为您对原型模型的问题是无效的：

• 对象命名空间、obj.prototype、obj.constructor 中不必要的垃圾

prototype 是构造函数的属性，而不是对象实例的属性。 此外，由于 [[DontEnum]] 属性，问题并不像听起来那么糟糕，不幸的是无法以编程方式设置。 如果可以的话，一些明显的问题就会消失。

这是一个不成熟的反对意见，试图保留将对象视为地图的能力，但它们可能不是？

只要键是字符串并且检查 hasOwnProperty()，使用对象作为映射就没有问题。

• 在运行时更改共享行为的能力似乎没有必要，因为直接使用额外的间接级别会更直接 obj.shared.foo()。 特别是它是一个相当大的实施难题

我不明白实现原型链的最大实现难题在哪里。 事实上，我认为原型继承在概念上比基于类的继承更简单，而基于类的继承在具有后期绑定的语言中没有提供任何好处。

• 人们似乎不太了解原型，例如原型和构造函数之间的区别。

只了解 Java 和 C++ 等基于类的 oo 语言的人不了解 JavaScript 的继承系统，新闻 11。

除了 MarkusQ 的建议之外，您可能还想查看 Io。

Answer 3

使用实际代码尝试一些事情可能会更容易。 使用一种简单的语法（无论是什么语法）创建语言，并用该语言实现某些内容。 然后，经过几次重构迭代后，找出阻碍阅读和编写代码的功能。 添加、更改或删除改进语言所需的内容。 这样做几次。

确保你的测试代码真正运用了你的语言的所有部分，即使有一些确实试图破坏它的部分。 尝试在测试中做所有错误的事情（以及所有正确的事情）

Answer 4

阅读“self”这种开创原型模型的语言，可能会帮助您不仅仅是从 JavaScript 角度思考它（特别是因为您似乎像许多人一样将其与“Web 编程”联系起来）。 一些帮助您入门的链接：

http://selflanguage.org/
http://www.self-support.com/

请记住，那些未能学习历史的人注定要重新学习历史。