Clojure 核心语法要点：解构、递归与变量引用

2016-09-25 1 min read Clojure

Executive Summary

核心观点（金字塔原理）

结论先行: Clojure提供了精确的值处理机制和高效的尾递归优化，是构建健壮函数式程序的基础

支撑论点:

  1. :or能精确区分”未赋值”和”赋值为逻辑false”，而or做不到这一点
  2. recur实现尾递归优化，在不消耗堆栈空间的情况下进行递归调用
  3. var和#'提供了对变量本身（而非其值）的引用能力

SWOT 分析

维度 分析
S 优势 精确的nil/false处理避免常见bug；recur防止栈溢出；var支持动态绑定
W 劣势 语法符号较多，初学者容易混淆:or与or的使用场景
O 机会 大数据量递归处理、需要精确控制默认值的配置系统
T 威胁 不理解:or语义可能导致配置解析错误

适用场景

  • 需要区分配置项”未设置”与”设置为false”的场景
  • 大量递归计算需要避免栈溢出
  • 需要在运行时动态获取或修改变量绑定

:or 与 or 的区别

(let [{opt1 :opt} {:opt false} opt1 :or {opt1 true}] (println opt1))
;true
;nil
(let [{opt1 :opt :or {opt1 true}} {:opt false}] (println opt1))
;false
;nil

总结::or区分到底是没有赋值还是赋值为逻辑false(nil或者false)

recur

(defn countdown
  [x]
  (if (zero? x)
    :blastoff!
    (do (println x)
        (recur (dec x)))))

;user> (countdown 3)
;3
;2
;1
;:blastoff!

recur能够在不消耗堆栈空间的情况下把程序执行转到离本地上下文最近的loop头那里去

引用 var 与#’

(def x 5)
;#'user/x
;user> x
;5
;user> (var x)
;#'user/x
;user> #'x
;#'user/x

最新文章