懒惰列表S表达式矩阵的小问题

Question

所以我有一个类在Smalltalk中创建LazyMatrix。该类只有1个实例变量，不能是除Object之外的任何其他类的子类。 LazyMatrix的实例变量被称为block，并且必须是back。我初始化LazyMatrix这样的：

initialize 
block:=[nil] 

将会有一个方法，用于设置值

setRow:column:value: 

此方法将通过设置新的块为[＃（IJ值）重新定义所述块[零]。 ]。随后的每一次调用都会向该块添加一个3的数组，因此它像[＃（i j value）。[＃（i j value）。[nil]]]一样展开，就像s表达式或“lazy list”一样。因此我需要访问该块的头部（即[＃（i j value））以及该块的尾部（即[＃（i j value）。[nil]]）。我如何在smalltalk中做到这一点？我知道块上的调用值将返回尾巴...现在我需要返回头部。

Answer 1

增加一个阵列到你的块没有得到你任何地方。根据行为而不是数据结构。

我想你的老师确实给你提供了整体思路：给出一个行和一列，回答相关的值;否则请问“尾巴”的答案。

这就是从字面上如何使用块闭包（其中“尾部”是之前设置的块）在Smalltalk中实现它。在块内部，放置用于测试和回答以及尾递归的代码。不要制作数据结构，尾巴和头部只是这种编码风格的隐喻。

我刚在Squeak中实现了你的LazyMatrix，它只是几行代码。可爱的例子的确如此。根本不涉及数组或集合。

提示：这个难题的关键是意识到每次调用setRow：column：value：都可以创建一个新的块，它独立于所有先前创建的块。

Answer 2

我认为你可以在这里以两种方式去。第一个（我不推荐）将你的s表达式建模为lambda微积分中的列表。你基本上使用块作为功能，你就完成了。 Here你可以喜欢使用lambda微积分编写列表的解释。举个例子，在Smalltalk中你会写

empty = λfx.x 

为

empty := [:f :x | x]. 

现在，去这条道路将是一个面向对象的语言，我不会做基本上可以写一个函数式程序。如果你想对列表使用符号方法，那么你应该用对象来建模。拥有EmptyList类和Cons类（Cons将有element和list研究所VAR），让你做创建列表：

listWithOne := Cons element: 1 list: EmptyList new. 

的head和tail方法可以平凡写在Cons类通过返回inst var值。您还可以在EmptyList类中定义head和tail方法，以便现在EmptyList和Cons是多态的。

新增：好吧，只是为了好玩，使用块和数组的实现，实用的风格：

| empty cons head tail test | 
empty := [nil]. 
cons := [:i :j :value :old | [Array with:i with:j with:value with:old]]. 
head := [:list | list value ifNotNil: [:v | v copyFrom:1 to:3]]. 
tail := [:list | list value at: 4]. 

test := cons value: 1 value: 1 value: 'Hi' value: (cons value: 1 value: 2 value: 'Ho' value: empty). 
"Print each one" 
head value: test. 
head value: (tail value: test). 
head value: (tail value: (tail value: test)). 

HTH