Clojure 是 Lisp 编程语言在 Java 平台上的现代、动态及函数式方言。 与其他 Lisp 一样,Clojure 视代码为数据且拥有一套 Lisp 宏系统。
Clojure 是 Lisp 编程语言在 Java 平台上的现代、动态及函数式方言。 与其他 Lisp 一样,Clojure 视代码为数据且拥有一套 Lisp 宏系统。
Clojure 其开发过程当前由社区驱动,其作者里奇·希基则以终身仁慈独裁者的身份进行监督。 Clojure 提倡不可变性与持久数据结构并鼓励程序员显式地管理标识及其状态。
Clojure 提倡不可变性(immutability)与持久数据结构(persistent data structures)并鼓励程序员显式地管理标识(identity)及其状态(state)。对利用不可变值(immutable values)及显式时间进展构造(explicit progression-of-time constructs)进行编程的专注旨在促进更加健壮的(尤其是多线程)程序的开发。Clojure 的类型系统是完全动态的,但人们近期也开始探索其基于渐进类型化(gradual typing)的实现。
对 Clojure 的商业支持由 Cognitect 公司提供。每年都会在全球范围内举办年度 Clojure 会议,其中最著名的是 Clojure/conj。
设计理念
里奇·希基开发 Clojure 的原因是因为他想要一款适合函数式编程的现代 Lisp。该语言既需要与已创建的 Java 平台共生又需要有适合并发性的设计。
Clojure 对待变化(change)的方式以标识(identity)的概念为特征。标识是指随着时间的推移而产生的一系列状态(state)。而状态则是指标识在某一特定时间点上的值(value)。需要强调的是,这里的值是不可变的(immutable)。由此引申,由于状态是不可变的值,任意数量的工作单位(workers)都可以在其上以并行(parallel)的方式实施操作。因此,并发性(concurrency)就成为一道管理状态间变化的问题[注意,这里的“变化”是指从一个状态到另外一个状态的跃迁(transition)而不是状态本身的变化(mutation)。]为此,Clojure 提供了几个可变的(mutable)引用类型(reference type)。每个引用类型都有其明确定义的语义用于控制状态之间的跃迁。
平台
Clojure 的主要平台是 Java 但也存在其他目标平台上的实现。其中,最值得关注的是 ClojureScript(可被编译成 ECMAScript 3)和 ClojureCLR(.NET 平台上的完整移植版,可与其生态系统互操作。)2013 年对 1,060 名受访者进行的 Clojure 社区调查发现,47%的受访者在使用 Clojure 的同时也使用 ClojureScript。2014 年,这一数字增长到了 55%,而到了 2015 年,则达到了 66%(根据 2,445 名受访者)。人气较高的 ClojureScript 项目包括 React 实现,如 Reagent、re-frame、Rum 及 Om。
人气
随着对函数式编程的兴趣的持续升温,Clojure 也越来越多地受到 Java 平台上的软件开发人员的青睐。该语言也一度成为知名软件开发老将(如詹姆斯·高斯林、保罗·格雷厄姆及 Robert C. Martin(俗称“Uncle Bob”)等)的首选或推荐语言。
在由 Snyk 和 Java Magazine 合作编写的“JVM 生态系统报告 2018”(据称是“Java 开发人员有史以来规模最大的调查”)中,Clojure 被评为用于“主要应用程序”的第二大人气编程语言(仅次于 Java)。
业内使用 Clojure 的公司有苹果公司、Atlassian、Funding Circle、Netflix、 Puppet、沃尔玛及其他大型软件公司与美国国家航空航天局等政府机构。Clojure 也一度被用于创意计算,包括视觉艺术、音乐、游戏和诗歌。