Smalltalk 中的函数对象（或执行没有“value:”的块）

Question

是否可以向对象发送匿名消息？我想组合三个像这样的对象（想想 FP）：

 " find inner product "
 reduce + (applyToAll * (transpose #(1 2 3) #(4 5 6)))

其中 reduce、applyToAll 和 transpose 是对象，而 + >、* 和两个数组是传递给发送给这些对象的匿名消息的参数。是否可以使用块来实现相同的效果？ （但没有显式使用 value:）。

Answer 1

也许您真正想做的是在 Smalltalk 中定义 DSL？

通过 HELVETIA，我们探索了一种将新语言嵌入到宿主语言中的轻量级方法。该方法通过利用主机环境的抽象语法树（AST）来重用编辑器、解析器、编译器和调试器的现有工具链。不同的语言可以干净地相互融合并融入现有代码中。

Answer 2

aRealObject reduceMethod: +; 
            applyToAll: *; 
            transpose: #(#(1 2 3) #(4 5 6));
            evaluate

当 aRealObject 定义了正确的方法时就会起作用。哪里需要块？

Answer 3

您正在寻找doesNotUnderstand：。如果 reduce 是一个未实现 + 的对象，但您还是发送了它，则将调用其 doesNotUnderstand: 方法。通常它只会引发错误。但是您可以覆盖默认值，并访问选择器 + 和其他参数，并对它们执行任何您喜欢的操作。

为了简单起见，创建一个类Reduce。在其类方面，定义方法：

doesNotUnderstand: aMessage
    ^aMessage argument reduce: aMessage selector

然后您可以像这样使用它：

Reduce + (#(1 2 3) * #(4 5 6))

在 Squeak 工作区中，如预期的那样，答案为 32。

它之所以有效，是因为 * 已经为具有合适语义的集合实现了。

或者，使用此类端方法添加一个类 ApplyToAll：

doesNotUnderstand: aMessage
    ^aMessage argument collect: [:e | e reduce: aMessage selector]

并将此方法添加到 SequenceableCollection：

transposed
    ^self first withIndexCollect: [:c :i | self collect: [:r | r at: i]]

然后您可以编写

Reduce + (ApplyToAll * #((1 2 3) #(4 5 6)) transposed)

与您最初的想法非常接近的代码。