模仿Haskell的列表模式

阅读之前，请注意，无需具备Haskell或函数式编程的先验知识。

文章

最近，我一直在试验Haskell，尤其喜欢一种功能-列表模式匹配中的（x：xs），其中x是当前元素，即所谓的“ head”，而xs是其余元素列表，即所谓的“尾巴”。 下面是一个示例，其中包含提到的功能，即列表的长度方法：

话虽如此，我开始怀疑用另一种语言实现此功能是否有用。 下一个代码段是尝试在Swift中“模仿”它：

如您所见，这两种方法都是“ Array”类型的扩展。

我称之为第一个（因为无法给出更好的名称）递归，它返回一个由可选元素（称为x）组成的元组，而数组的其余部分称为xs。 X是可选的，因为在某个时候可能还没有实际的元素。 它的身体是不言自明的：self.first是当前的头，self.dropFirst将返回“尾巴”。 但是，dropFirst的返回类型是ArraySlice而不是Array，因此是map方法。

现在，在某种程度上模仿了Haskell的功能，可以实现它的长度。 一般情况是返回1加上当前“迭代”末尾使用长度的结果，请参见示例2，l。 9.上面两行是列表为空并返回0或head元素不存在的情况，这意味着它等于null并仅返回1。

尽管它的实现方式不如Haskell中的原始方法那么优雅，但它可以在某种程度上对我产生吸引力。 我自己，我真的没有看到像Swift这样的语言进行递归的优势，我的一些认识Swift的朋友也没有。 但是，这可能是一种吸引人的设计模式。