递归遍历 Clojure 中的向量

Question

我刚开始玩 Clojure。

如何遍历项目向量？

我的幼稚递归函数将具有类似于经典地图的形式，例如。

(defn map [f xs] (
  (if (= xs [])
      []
      (cons (f (first xs)) (map f (rest xs))
  )
))

问题是我在网上找不到任何此类代码的示例。我找到了很多使用内置序列遍历函数（如 for、map 和 loop）的示例。但是没有人做原始递归版本。

那是因为你不应该在 Clojure 中做这种事情吗？ （例如，因为它使用了没有尾调用优化的低级 Java 原语？）？

Answer 1

当您说“穿过向量”时，这是非常含糊的；由于 Clojure 是一个 lisp，因此专门从事序列分析和操作，使用这种语言的美妙之处在于您不会以“遍历向量然后对每个元素做某事”的术语来思考，而是您会更习惯地说“将其从向量中拉出”或“将此向量转换为 X”或“我希望此向量给我 X”。

正是由于 lisp 语言中的这种视角，您会看到如此多的示例和生产代码，这些示例和生产代码不仅在向量中循环/递归，而且还以一种简短、惯用的方式专门针对所需内容。使用 reduce map filter for into 等简单函数，您可以优雅地在矢量等序列上移动，同时同时你想要的内容。在大多数其他语言中，这至少是两个不同的部分：循环，然后是执行您想要的实际逻辑。

您经常会发现，如果您使用 C、C++、Java 等语言所获得的更具命令性的想法来考虑序列，那么您的代码（至少）比您使用其他语言时长大约 4 倍（至少）首先以更实用的方式考虑您的计划。

Answer 2

Clojure 仅在尾递归且仅在您使用显式 recur 调用时重用堆栈帧。其他一切都将消耗堆栈。上面的地图示例不是尾递归的，因为缺点发生在递归调用之后，因此它不能以任何语言进行 TCO。如果您将其切换为使用延续传递样式并使用对recur 的显式调用而不是map，那么您应该很高兴。