python - Smalltalk(例如 Pharo)与 Python 相比如何？

Question

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

例如 Python 似乎没有元类。 Smalltalk 没有生成器的概念。虽然都说两者都是动态类型的，但我相信 Python 不做动态方法分派(dispatch)。这样对吗？

Answer 1

For example Python does not seem to have Metaclasses.

确实如此——它只是不会为每个类隐式生成一个新的元类:它使用与父类相同的元类，或者 type默认情况下。 Python 的设计哲学，又名“Python 之禅”，可以通过做 import this 来细读。在交互式口译员的提示下；这里的适用点是第二点，“显式胜于隐式”。

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

class sic:
  __metaclass__ = mymeta
  ...

在 Python 3.X 中，更优雅地使用命名参数语法:

class sify(metaclass=mymeta):
  ...

Smalltalk has no concept of generators.

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

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

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

aCollection select: [:item | item doSomething].

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

一流的代码块意味着 Smalltalk 不需要也不需要“控制结构”语句和关键字，例如 if或 while :它们可以通过发送代码块作为适当方法的参数来完成(例如 ifTrue: bool 方法)。 (Ruby 选择在一流代码块之外使用关键字/语句；我想说 Python [[explicitly]] 和 Smalltalk [[implicitly]] 都像 C 一样，都试图“提供一种执行一个操作”，而 Ruby 更像是 Perl 派的“有很多方法可以做到”)。

And although both are said to be dynamicly typed, I believe that Python does not do dynamic method dispatch. Is this correct?

不，绝对不正确——Python 强烈地执行动态方法调度，极端 .考虑例如:

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

根据 Python 语义，这会执行 10 次查找 对于方法 bah在 myobject -- 以防万一该方法的先前执行导致 myobject在内部完全重组自身，使其当前bah方法与前一个完全不同(对于程序员来说，依赖如此激烈的动态可能是一件非常疯狂的事情，但 Python 支持它)。这就是导致:

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

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

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

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