3

Clojure 作为一种 Lisp 方言，继承了 Lisp 的同音性。同质性使元编程更容易，因为代码可以被视为数据：语言中的反射（在运行时检查程序的实体）依赖于单一的同质结构，并且它不必处理以复杂语法出现的几种不同结构[1]。

更同质的语言结构的缺点是语言结构，如循环、嵌套 if、函数调用或开关等，彼此更相似。

在 Clojure 中：

   ;; if:
   (if (chunked-seq? s)
     (chunk-cons (chunk-first s) (concat (chunk-rest s) y))
     (cons (first s) (concat (rest s) y)))

   ;; function call:
   (repaint (chunked-seq? s)
     (chunk-cons (chunk-first s) (concat (chunk-rest s) y))
     (cons (first s) (concat (rest s) y)))

两种构造之间的区别只是一个词。在非同音语言中：

// if:
if (chunked-seq?(s))
    chunk-cons(chunk-first(s), concat(chunk-rest(s), y));
else
   cons(first(s), concat(rest(s), y));

// function call:
repaint(chunked-seq?(s),
        chunk-cons(chunk-first(s), concat(chunk-rest(s), y)),
        cons(first(s), concat(rest(s), y));

有没有办法让这些程序结构在 Clojure 中更容易识别（更显眼）？也许一些推荐的代码格式或最佳实践？

4

1 回答 1

5

除了使用支持针对不同情况的语法突出显示的 IDE 之外，不，实际上没有办法在代码本身中区分它们。

您可以尝试使用格式来区分函数调用和宏：

(for [a b]
  [a a])

(some-func [a b] [a a])

for但这会阻止您使用;使用单行列表理解。有时它们可​​以整齐地放在一条线上。这也可以防止您将大型函数调用分成几行。除非缩减函数是预定义的，否则我的大部分调用都reduce采用以下形式：

(reduce (fn [a b] ...)
        starting-acc
        coll)

有太多的场景试图限制调用的格式。更复杂的宏cond呢？

我认为要理解的关键是表单的操作完全取决于表单中的第一个符号。不要依赖特殊的语法来区分它们，而是训练你的眼睛捕捉表单中的第一个符号，然后在你的脑海中快速“查找”。

实际上，只有少数情况需要考虑：

  • 特殊形式，例如ifand let（实际上是let*）。这些是语言的基本结构，所以你会经常接触到它们。

    • 我不认为这些应该造成问题。当您看到 时，您的大脑应该立即知道发生了什么if。特殊形式很少，所以简单的记忆是最好的途径。

  • 具有“异常”行为的宏，例如线程宏和cond. 在某些情况下，我会查看某人的代码，因为他们使用的是我不太熟悉的宏，所以我需要一秒钟才能弄清楚代码的流程.

    • 这可以通过对宏进行一些练习来解决。在编写 Clojure 时，学习一个新的宏会扩展您的能力，因此应该始终考虑这一点。与特殊形式一样，确实没有那么多令人费解的宏，因此记住主要的（基本线程宏和条件宏）很简单。

  • 功能。如果不是上述任何一种，它必须是一个函数并遵循典型的函数调用语法。

于 2017-12-24T00:03:47.560 回答