Clojure

Clojure

编程范型	函数式
設計者	里奇·希基（Rich Hickey）
发行时间	2007年​（2007）
当前版本	1.11.3 (2024年4月24日；穩定版本)
型態系統	动态类型、强类型
系统平台	Java, JavaScript, .NET
許可證	Eclipse公共许可证
文件扩展名	.clj, .cljs, .cljc, .edn
網站	clojure.org
啟發語言
C#, C++, Common Lisp, Erlang, Haskell, Java, Mathematica, ML, Prolog, Racket, Ruby, Scheme
影響語言
Elixir, Hy, Pixie, Rhine
維基教科書中有關Clojure Programming的文本

Clojure（/ˈkloʊʒər/, 发音类似"closure"）是Lisp编程语言的一门方言。 Clojure作为一门注重函数式编程的通用编程语言执行于Java平台及.NET平台之上。 与之同步开发并被称为ClojureScript的方言可被编译成ECMAScript 3。 与其他Lisp一样，Clojure视代码为数据且拥有一套Lisp宏系统。 其开发过程目前由社区驱动， 其作者里奇·希基（Rich Hickey）则以终身仁慈独裁者（BDFL）的身份进行监督。

Clojure鼓励不变性（immutability）与持久数据结构（persistent data structures）。尽管其类型系统是完全动态的，人们近期也开始探索其基于渐进类型化（gradual typing）的实现。 Clojure鼓励程序员显式地管理状态（state）与标识（identity）。 对利用不可变值（immutable values）及显式时间进展构造（explicit progression-of-time constructs）进行编程的专注旨在促进更加健壮的（尤其是多线程）程序的开发。

业内使用Clojure的公司有Funding Circle、 沃尔玛、 Puppet、 苹果公司及其他大型软件公司。 对Clojure的商业支持由Cognitect公司提供。 每年都会在全球范围内举办年度Clojure会议，其中最着名的是Clojure/conj（美国东海岸）、 Clojure/West（美国西海岸）和EuroClojure（欧洲）。

历史与开发过程

里奇·希基（Rich Hickey）2009年6月3日于旧金山

里奇·希基（Rich Hickey）是Clojure语言的创造者。 在Clojure之前，他开发过类似但基于.NET平台的项目——dotLisp。 在那之前，他还有过三次旨在Lisp与Java之间提供互操作（interoperability）的尝试：“Common Lisp的Java外语接口”（Java foreign language interface for Common Lisp (jfli)）、 “Lisp的外语对象接口”（Foreign Object Interface for Lisp (FOIL)） 以及“Lisp友好的Java Servlet接口”（Lisp-friendly interface to Java Servlets (Lisplets)）。

在公开发布之前，里奇·希基在Clojure的工作上花了大约两年半的时间。期间，在没有外部资金的情况下，他将其大部分时间都专门投入到了Clojure的工作上。在这段时间结束时，里奇·希基以电子邮件的形式向他在Common Lisp社区里的一些朋友宣布了该语言。

Clojure的开发过程由社区驱动并且在“Clojure社区”网站上进行管理。 该网站上有其规划文档及一款用于提交错误（bug）报告的问题跟踪器（issue tracker）。一般的开发讨论是在“Clojure Dev谷歌网上论坛”（Clojure Dev Google Group）上进行的。 任何人都可以提交错误报告和想法，而贡献补丁（patches）则需要先签署“Clojure贡献者协议”（Clojure Contributor Agreement）。 JIRA错误报告（JIRA ticket）由一个筛选者（screener）团队进行处理并最终由里奇·希基批准更改。

设计哲学

里奇·希基开发Clojure的原因是因为他想要一款适合函数式编程的现代Lisp。该语言既需要与已建立的Java平台共生又需要有适合并发性的设计。

Clojure对待变化（change）的方式以标识（identity）的概念为特征。 标识是指随着时间的推移而产生的一系列状态（state）。而状态则是指标识在某一特定时间点上的值（value）。需要强调的是，这里的值是不可变的（immutable）。由此引申，由于状态是不可变的值，任意数量的工作单位（workers）都可以在其上以并行（parallel）的方式实施操作。因此，并发性（concurrency）就成为一道管理状态间变化的问题（注意，这里的“变化”是指从一个状态到另外一个状态的跃迁（transition）而不是状态本身的变化（mutation）。）为此，Clojure提供了几个可变的（mutable）引用类型（reference type）。每个引用类型都有其明确定义的语义用于控制状态之间的跃迁。

功能特点

版本	发布日期	增加的主要功能
	2007年10月16日	首次公开发布
1.0	2009年5月4日	首个稳定版
1.1	2009年12月31日	将来（future）
1.2	2010年8月19日	协议（protocol）
1.3	2011年9月23日	增强对原始类型（primitive type）的支持
1.4	2012年4月15日	读取器字面量（reader literal）
1.5	2013年3月1日	归纳器（reducer）
1.6	2014年3月25	Java API、经过改善的哈希算法
1.7	2015年6月30日	变换归纳器（transducer）、读取器条件表达式（reader conditionals）
1.8	2016年1月19日	附加的字符串函数、直接连接（direct linking）、套接字服务器（socket server）
當前版本： 1.9	2017年12月8日	集成spec、命令行工具
格式： 舊版本 舊版本，仍被支援 当前版本 最新的预览版 未来版本

Clojure执行于Java平台之上，因此，与Java紧密集成并完全支持从Clojure调用Java代码。 与此同时，也可以从Java调用Clojure代码。 Leiningen是社区中普遍使用的项目自动化工具。Leiningen为Maven集成提供支持，处理项目包管理和依赖项。Leiningen的配置使用的则是Clojure语法。

与其他大多数Lisp一样，Clojure的语法建立在S-表达式之上。S-表达式在被编译之前先由读取器（reader）解析为数据结构。 除了列表（list）之外，Clojure的读取器还支持映射（map）、集合（set）及向量（vector）等的字面量（literal）语法。这些字面量随后会被直接编译成上述数据结构。 Clojure是Lisp-1且有一套与其它Lisp不兼容的数据结构，因此，Clojure不支持与Lisp的其它方言之间的代码级兼容性。

作为一门Lisp方言，函数在Clojure中是一等公民。此外，Clojure还支持读取﹣求值﹣输出循环（REPL）以及一套宏系统。 Clojure的Lisp宏系统与Common Lisp的系统极为相似。唯一不同的是，Clojure的重音符「称为“语法引用”（"syntax quote"）」用名字空间（namespace）来限定符号（symbol）。这有助于防止意外的名字捕获（unintended name capture），因为Clojure禁止绑定（binding）到名字空间限定的名字（namespace-qualified name。）如果需要强制捕获宏扩展（capturing macro expansion，）那么就需要显示地完成该过程。Clojure不支持用户定义的读取器宏（reader macro，）但Clojure的读取器支持更具约束力的语法扩展（syntactic expansion）形式。 Clojure支持多重方法（multimethods。） 对于类似接口的抽象，Clojure提供基于协议（protocol）的多态性（polymorphism）以及基于记录（record）的数据类型系统。 Clojure通过这些设计来提供高性能且动态的多态性以避免所谓的“表达式问题”（"expression problem"。）

Clojure支持惰性序列，并鼓励不变性（immutability）与持久数据结构（persistent data structure。）Clojure作为一门函数式编程语言将重点放在递归与高阶函数上而不是基于副作用的循环流程上。Clojure不支持自动尾调用优化，因为JVM还不支持该项优化，但是，可以用recur关键字显式地进行该项优化。 对于并行与并发计算，Clojure提供软件事务内存、 响应式代理系统及基于通道（channel）的并发编程。

Clojure 1.7引入了读取器条件表达式（reader conditional）从而允许在同一名字空间中嵌入Clojure与ClojureScript代码。 变换归纳器（transducer）的加入则提供了另一种组合变换的方法。变换归纳器可以使高阶函数（如，map和fold）更加抽象从而使之独立于其输入数据源。传统地说，这些函数一般被应用于序列（sequence）上，而变换归纳器允许这些函数被应用于通道（channel）上并让用户定义她们自己的变换归纳（transduction）模型。

平台与人气

Clojure的主要平台是Java但也存在其他目标平台上的实现。其中，最值得关注的是ClojureScript（可被编译成JavaScript）和ClojureCLR（基于公共语言运行时并与.NET生态系统互操作的完整移植版。）2013年对1,060名受访者进行的Clojure社区调查发现，47％的受访者在使用Clojure的同时也使用ClojureScript。2014年，这一数字增长到了55％，而到了2015年，则达到了66％（根据2,445名受访者）。 人气较高的ClojureScript项目包括React实现，如Reagent和Om。

Clojure也一度被用于创意计算，包括视觉艺术、音乐、游戏和诗歌。

越来越多的非官方和/或实验性的其他平台实现也验证了该语言的人气：

• las3r, 执行于ActionScript虚拟机（Adobe Flash Player平台）的Clojure子集
• clojure-py, Clojure的纯Python实现
• rouge, Clojure基于YARV的Ruby实现
• CljPerl, Clojure的Perl实现
• Pixie, 受Clojure启发并用RPython实现的Lisp方言
• Ferret, 可被编译成运行于微控制器的自包含（self-contained）C++11
• Joker, 用Go实现的解释器（interpreter）和linter
• clojerl, 基于Erlang虚拟机的Clojure

示例

“Hello, world!”程序:

(println "Hello, world!")

定义一个函数：

(defn square [x]
  (* x x))

调用Java Swing库的GUI“Hello, world!”:

(javax.swing.JOptionPane/showMessageDialog nil "Hello, world!")

使用Unicode (打印"Hello, 世!"，使用“世”的CJK代码点):

;; print to the console.
(println (str "Hello, " \u4e16 \!))

;; using Java GUI 
(javax.swing.JOptionPane/showMessageDialog nil (str "Hello, " \u4e16 \!))

线程安全的唯一序列号生成器（然而，和许多其他Lisp方言一样，Clojure内部使用其内置的gensym函数):

(def i (atom 0))

(defn generate-unique-id
  "Returns a distinct numeric ID for each call."
  []
  (swap! i inc))

java.io.Writer的一个匿名子类（不写任何内容）和一个宏（使用该类来静音其中打印的所有内容）:

(def bit-bucket-writer
  (proxy [java.io.Writer] []
    (write [buf] nil)
    (close []    nil)
    (flush []    nil)))

(defmacro noprint
  "在对给定的`forms`求值的同时静音所有向`*out*`打印的内容。"
  [& forms]
  `(binding [*out* bit-bucket-writer]
     ~@forms))

(noprint
  (println "Hello, nobody!"))

10个线程操纵一个共享数据结构，该结构由100个向量组成，而每个向量包含10个（最初是连续的）唯一数字。每个线程随后在两个随机向量中重复选择两个随机位置并交换它们。 通过使用Clojure的软件事务内存系统，对向量的所有更改都发生在事务中：

(defn run [nvecs nitems nthreads niters]
  (let [vec-refs (->> (* nvecs nitems) 
                   (range)
                   (partition nitems)
                   (map (comp ref vec))
                   (vec))
        swap #(let [v1 (rand-int nvecs)
                    v2 (rand-int nvecs)
                    i1 (rand-int nitems)
                    i2 (rand-int nitems)]
                (dosync
                 (let [tmp (nth @(vec-refs v1) i1)]
                   (alter (vec-refs v1) assoc i1 (nth @(vec-refs v2) i2))
                   (alter (vec-refs v2) assoc i2 tmp))))
        report #(let [derefed (map deref vec-refs)]
                  (prn derefed)
                  (println "Distinct:" (->> derefed
                                         (apply concat)
                                         (distinct)
                                         (count))))]
    (report)
    (dorun (apply pcalls (repeat nthreads #(dotimes [_ niters] (swap)))))
    (report)))

(run 100 10 10 100000)

以上示例的输出:

([0 1 2 3 4 5 6 7 8 9] [10 11 12 13 14 15 16 17 18 19] ...
[990 991 992 993 994 995 996 997 998 999])
Distinct: 1000

([382 318 466 963 619 22 21 273 45 596] [808 639 804 471 394 904 952 75 289 778] ...
[484 216 622 139 651 592 379 228 242 355])
Distinct: 1000

穿梭宏（threading macro）可以在语法上表达一个数据集在一系列变换间穿梭的抽象：

(->> (range 10)
  (map inc)
  (filter even?))

输出:

(2 4 6 8 10)

利用变换归纳器（transducer）也可以更有效地实现该过程：

(into []
      (comp (map inc)
            (filter even?))
      (range 10))

输出:

[2 4 6 8 10]

与其他Lisp一样，Clojure的标志性特征之一是基于REPL的交互式开发：

(def a 42)
=> #'user/a
(+ a 8)
=> 50
(even? a)
=> true
(defn foo [n] (mod n 10))
=> #'user/foo
(foo a)
=> 2

与Clojure不同的是，其他语言的编译器会将程序中的名字编译掉使得它们在运行时不可用。而在Clojure中，可以用普通的数据结构对其运行时进行观察：

(def a 42)
=> #'user/a
(ns-publics 'user)
=> {a #'user/a}
#'user/a
=> #'user/a
(deref #'user/a)
=> 42
(defn foo "computes mod 10" [n] (mod n 10))
=> #'user/foo
(meta #'user/foo)
=>
{:arglists ([n]),
 :doc "computes mod 10",
 :line 114,
 :column 1,
 :file "user.clj",
 :name foo,
 :ns #namespace[user]}

与其他Lisp类似，Clojure也具有同像性。从下面的示例中可以看到，用Clojure编写代码以修改代码本身是非常容易的：

(+ 1 1)
=> 2
(quote (+ 1 1))
=> (+ 1 1)
(first (quote (+ 1 1)))
=> +
(last (quote (+ 1 1)))
=> 1
(->> (quote (+ 1 1))
  (map #(case %
         1 'bananas
         + '-)))
=> (- bananas bananas)

编辑器/集成开发环境（IDE）

• Emacs + CIDER（Emacs包）
• IntelliJ IDEA + Cursive（IntelliJ IDEA插件）
• Vim + fireplace.vim（Vim插件）
• Visual Studio Code + Calva（Visual Studio Code插件）
• LightTable

延伸阅读

• Olsen, Russ, Getting Clojure 1st, Pragmatic Bookshelf, 2018, ISBN 978-1-68050-300-5 
• Miller, Alex; Halloway, Stuart; Bedra, Aaron, Clojure Programming 3rd, Pragmatic Bookshelf, 2018, ISBN 978-1-68050-246-6 
• Sotnikov, Dmitri, Web Development with Clojure 2nd, Pragmatic Bookshelf, 2016, ISBN 978-1-68050-082-0 
• Rathore, Amit; Avila, Francis, Clojure in Action 2nd, Manning, 2015, ISBN 978-1-61729-152-4 
• Higginbotham, Daniel, Clojure for the Brave and True 1st, No Starch Press, 2015, ISBN 978-1-59327-591-4 
• Gamble, Julian, Clojure Recipes 1st, Pearson Publishing, 2015, ISBN 978-0-32192-773-6 
• Vandgrift, Ben; Miller, Alex, Clojure Applied 1st, Pragmatic Bookshelf, 2015, ISBN 978-1-68050-074-5 
• Rochester, Eric, Clojure Data Analysis Cookbook 2nd, Packt Publishing, 2015, ISBN 978-1-78439-029-7 
• Fogus, Michael; Houser, Chris, The Joy of Clojure 2nd, Manning, 2014, ISBN 1-617291-41-2 
• Rochester, Eric, Mastering Clojure Data Analysis 1st, Packt Publishing, 2014, ISBN 978-1-78328-413-9 
• Emerick, Chas; Carper, Brian; Grand, Christophe, Clojure Programming 1st, O'Reilly Media, April 19, 2012, ISBN 1-4493-9470-1 
• VanderHart, Luke; Sierra, Stuart, Practical Clojure 1st, Apress, June 7, 2010, ISBN 978-1-4302-7231-1 

外部链接

• Clojure 官方站
• GitHub code repository for Clojure
• Clojure - Functional Programming for the JVM
• Full Disclojure - Screencast
• Clojure cheatsheet
• Clojure Handbook
• Clojure toolbox: Clojure的软件包分类列表