与函数参数具有相同含义的局部变量的约定是什么？

Question

与函数参数具有相同含义的局部变量的约定是什么？

如果我需要将函数参数作为其初始状态值的局部变量（因此具有相同含义），我应该如何称呼它？

作为一个人工示例（然而，这演示了 Clojure 中相当流行的构造）：

(defn sum [coll]
  (loop [local-coll coll, result 0]
    (if (empty? local-coll)
       result
       (recur (rest local-coll) (+ (first local-coll) result)))))

这里 local-coll 最初被初始化为 coll 的值，并且在循环播放。 local-coll 绝对不是一个好名字，但是什么是呢？

在 Haskell 中，将引号 (') 放在变量/函数名称的末尾是一种很好的风格，例如 var'。在 Common Lisp 中，有时我会看到名称以星号 (*) 结尾。 Clojure 对函数有相同的表示法，它重复了另一个函数的含义，但语义略有不同（例如列表*）。但这种表示法也经常在文档字符串中使用，以指示可能存在多个这种类型的项目（例如 (methodname [args*] body)* 或 (try expr* catch-clause* finally-clause?))，因此在用于本地变量名称时可能会造成混淆。 Java 互操作还提供诸如 defn- 之类的功能，即以连字符 (-) 结尾的名称，以指示生成的类中的私有方法。因此，对本地（函数私有）变量使用连字符也是有意义的（尽管对我来说似乎有点奇怪）。

那么，当我的局部变量的命名与函数参数的含义相同时，我应该怎么做呢？

Answer 1

我认为当您不再需要原始参数时，隐藏参数名称是很好的：

(defn sum [coll]
  (loop [coll coll, result 0]
    (if (empty? coll)
       result
       (recur (rest coll) (+ (first coll) result)))))

我见过的其他变体是：

(loop [c colls] ...)
(loop [coll initial-coll] ...)
(loop [foo foo-coll] ...)
(loop [s specs] ...)