7

我一方面看到了Smalltalk 和 Ruby以及另一方面Ruby 和 Python之间的一些比较，但没有看到 Python 和 Smalltalk 之间的比较。我特别想知道实现、语法、可扩展性和哲学的根本区别是什么。

例如 Python 似乎没有元类。Smalltalk 没有生成器的概念。而且虽然都说是动态类型的，但我相信 Python 不做动态方法分派。它是否正确？

4

5 回答 5

9

例如 Python 似乎没有元类。

它确实可以——它只是不会为每个类隐式生成一个新的元类：它使用与父类相同的元类，或者type默认情况下。Python 的设计理念，又名“Python 之禅”，可以import this在交互式解释器的提示下进行细读；这里的适用点是第二点，“显式胜于隐式”。

在 Python 2.X 中，您可以使用以下语法指定自定义元类：

class sic:
  __metaclass__ = mymeta
  ...

在 Python 3.X 中，更优雅的是，您使用命名参数语法：

class sify(metaclass=mymeta):
  ...

Smalltalk 没有生成器的概念。

Python 的生成器是一流的（通常是独立的）函数，Smalltalk 没有“独立”函数的概念——它在类中有方法。但它确实有迭代器——当然是作为类：

iterator := aCollection iterator.
[iterator hasNext] whileTrue: [iterator next doSomething].

由于 Smalltalk 具有一流的“代码块”（Ruby 从中获取它们），您可以像其他“控制结构”一样通过将代码块发送到合适的方法来完成迭代，如果您希望可以直接使用集合（想想select:）：

aCollection select: [:item | item doSomething].

因此，在 Smalltalk（和 Ruby）中，您将代码块发送到迭代；Python 以相反的方式做事，迭代将值发送到周围的“调用”代码。看起来非常不同，但最终并没有“深刻”不同。

一流的代码块意味着 Smalltalk 不需要也没有“控制结构”语句和关键字，例如ifor while：它们可以通过将代码块作为适当方法（例如ifTrue:布尔方法）的参数发送来完成。（Ruby 选择在一流代码块之外使用关键字/语句；我想说 Python [[explicitly]] 和 Smalltalk [[implicitly]] 都尝试像 C 一样“提供单一的执行方式一个操作”，而 Ruby 更多地属于 Perl 风格的“有很多方法可以做到”）。

而且虽然都说是动态类型的，但我相信 Python 不做动态方法分派。它是否正确？

不，绝对不正确——Python强烈地执行动态方法分派，达到了极端。考虑例如：

for i in range(10):
  myobject.bah()

根据 Python 语义，这对方法in执行10 次查找——以防万一该方法的先前执行导致内部完全重组自身，使其当前方法与前一个方法完全不同（对于程序员依靠这种狂暴的活力，但 Python 支持它）。这就是导致：bahmyobjectmyobject bah

themethod = myobject.bah
for i in range(10):
  themethod()

Python 代码中常见的手动优化——在循环之前进行一次动态查找，而不是在循环内进行 10 次，每条腿一次（这是“不断提升”的情况，因为禁止编译器本身进行“不断折叠”通过 Python 的动态查找的极端规则——除非它可以证明它保证是无害的，并且在实践中这样的证明太难了，所以 Python 实现通常不会打扰）。

Python 使用统一的命名空间：方法是对象的属性，就像其他对象一样，只是它们是可调用的。这就是为什么在不调用它的情况下提取方法（称为“绑定方法”），在变量中设置对它的引用（或将其存储到列表或其他容器中，从函数中返回，等等）是一个简单的和简单的操作就像上面的恒定提升示例一样。

Smalltalk 和 Ruby 对方法和其他属性有单独的命名空间（在 Smalltalk 中，非方法属性在对象自己的方法之外是不可见的），因此“提取方法”和“调用生成的对象”需要更多的内省仪式（但常见的因此，在某些情况下，调度的情况可能会稍微简单一些——特别是，“仅提及”一个无参数的方法会隐式调用它，而在 Python 中，就像在 C 中一样，调用是通过附加括号显式执行的，而“仅提及” ”，嗯...“只是提到”它，使其可用于任何类型的显式操作，包括调用；-)。

于 2009-10-02T15:54:15.317 回答
7

Python 确实有元类。

Smalltalk 有一些不寻常的特性：

  • 语法相当简单，只有大约 6 个（！）关键字。其他一切（包括定义新类）都是通过调用方法（在 Smalltalk 中发送消息）来完成的。这允许您在该语言中创建一些 DSL。
  • 在 Smalltalk 中，您不存储源文件，而是拥有一个大内存映像，您可以随时修改它。您还可以修改 Smalltalk 本身的大部分内容（并可能破坏它；）
于 2009-10-02T08:26:55.533 回答
2

我一直在阅读工作中的程序员，这是一本非常不错的书，里面充满了对顶级程序员的采访。无论如何，其中一位是 smalltalk 的发明者，他详细谈论了他的语言以及它与 python 的关系（他也非常喜欢 python）。他对 python 的唯一问题是它的代码很慢……他真的很想用 smalltalk jit 编译器作为 python 的后端，但不幸的是，由于他工作的公司的软件，这不可能。

无论如何......也许不是逐点比较，但无论如何这本书真的很好读。

于 2009-10-02T08:26:31.943 回答
2

Smalltalk 没有生成器的概念。

没错，但它们可以在语言中的大多数 Smalltalk 方言中实现。GNU Smalltalk 将生成器作为其流库的一部分。

于 2009-12-10T19:01:12.497 回答
1

根据Wikipedia的动态方法分派页面：

Smalltalk 实现

Smalltalk 使用基于类型的消息调度程序。每个实例都有一个类型，其定义包含方法。当实例接收到消息时，调度程序在消息到方法映射中查找相应的方法以查找该类型，然后调用该方法。[...]

许多其他动态类型语言，包括Python、Ruby、Objective-C 和 Groovy，都使用类似的方法。

添加了重点，并剪掉了一段。因此，至少这部分在两种语言之间似乎是相似的。

于 2009-10-02T08:25:04.033 回答