如何使clojure程序结构更容易识别？

Question

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

更加同质的语言结构的缺点是语言结构(例如循环,嵌套ifs,函数调用或开关等)彼此更相似.

在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中更容易识别(更显眼)？也许一些推荐的代码格式或最佳实践？

Answer 1

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

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

(for [a b]
  [a a])

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

但是这会阻止你使用单行列表理解for; 有时它们可​​以整齐地放在一条线上.这也可以防止您将大型函数调用分解为多行.除非预先定义了还原功能,否则我的大多数调用都reduce采取以下形式:

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

有太多场景试图限制调用格式的方式.那些更复杂的宏cond怎么样？

我认为要理解的关键是表单的操作完全取决于表单中的第一个符号.而不是依靠特殊的语法来区分它们,训练你的眼睛捕捉到表格中的第一个符号,并在你的头脑中快速"查找".

实际上,只有少数情况需要考虑:

• 像if和let(实际let*)的特殊形式.这些是语言的基本结构,因此您将不断地接触它们.

  • 我不认为这些会造成问题.当你看到时,你的大脑应该立即知道发生了什么if.特殊形式很少,普通记忆是最佳途径.

• 具有"不寻常"行为的宏,如线程宏和cond.在某些情况下,我会查看某人的代码,并且因为他们使用的是我不太熟悉的宏,所以我需要花一点时间来弄清楚代码的流程.

  • 这可以通过对宏进行一些练习来解决.无论如何,学习一个新的宏可以在编写Clojure时扩展你的能力,所以应该始终考虑这一点.与特殊形式一样,实际上没有那么多令人费解的宏,所以记住主要的宏(基本的线程宏和条件宏)很简单.

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