文档教程【免费下载链接】learnxinyminutes-docsCode documentation written as code! How novel and totally my idea!项目地址https://gitcode.com/gh_mirrors/le/learnxinyminutes-docs点击查看免费下载Clojure 是为 Java 虚拟机JVM打造的 Lisp 系语言比 Common Lisp 更强调纯函数式编程并通过软件事务内存STM等机制优雅地管理状态。本文以 ko/clojure.md韩语版为骨架结合仓库中的英文原版 clojure.md 与宏专题文档 ko/clojure-macros.md完整讲解 Clojure 的语法形态、集合与序列、函数定义、映射与集合、模块加载、Java 互操作以及 STM 并发模型让你读完后能直接上手编写可运行的 Clojure 代码。本文所有示例均来自仓库文档可直接复制到 REPL 中验证需要 Clojure 1.2 及以上版本。Clojure 是什么JVM 上的 Lisp 与纯函数式哲学Clojure 是一门运行在 Java 虚拟机上的 Lisp 系语言。与 Common Lisp 相比它更加强调纯函数式编程即函数不依赖也不修改外部状态同时它内置了多种软件事务内存STM工具用于在函数式不可变的大前提下处理状态。这种纯函数 STM的组合让并发处理concurrent processing变得非常简单多数情况下甚至无需手动加锁系统即可自动完成协调。这正是 Clojure 在并发场景下备受青睐的核心原因。使用前提本文及仓库文档中的示例均需要Clojure 1.2 或更高版本。从 Forms 与 Reader 开始一切皆括号Clojure 代码由形态forms构成——forms 就是括号包裹、以空白分隔的元素列表。Clojure 的 reader 读取一个 form 时会默认把第一个元素当作要调用的函数或宏其余元素当作参数。; 注释以分号(;)开头 ; 文件中的第一个调用应该是 ns用于设置命名空间 (ns learnclojure) ; str 将它的所有参数拼接成一个字符串 (str Hello World) ; Hello World ; 数学运算非常直观前缀表达式 ( 1 1) ; 2 (- 2 1) ; 1 (* 1 2) ; 2 (/ 2 1) ; 2 ; 用 判断相等 ( 1 1) ; true ( 2 1) ; false ; 逻辑运算同样需要 not (not true) ; false ; forms 可以嵌套按预期工作 ( 1 (- 3 2)) ; 1 (3 - 2) 2韩语原文档特别强调了一个关键事实( 1 2)这样的括号形式本身并没有被计算——如果不想让它被求值需要显式阻止。这正是后面集合部分quote语法出现的原因。类型系统直接使用 Java 的对象类型Clojure 的布尔值、字符串和数字直接复用 Java 的对象类型可以用class函数检查其真实类型(class 1) ; 整数字面量默认是 java.lang.Long (class 1.) ; 小数字面量是 java.lang.Double (class ) ; 字符串必须用双引号包裹是 java.lang.String (class false) ; 布尔值是 java.lang.Boolean (class nil) ; null 值在 Clojure 中称为 nil阻止求值quote 与 eval要创建一个数据列表而不是执行函数调用需要使用即quote的缩写阻止求值( 1 2) ; ( 1 2) ; 等价于 (quote ( 1 2)) ; 被 quote 的列表仍然可以重新求值 (eval ( 1 2)) ; 3这段示例清晰展示了 Lisp 系语言代码即数据的同像性homoiconicity基础也是后续学习宏的起点。集合Collections与序列Sequences列表与向量底层数据结构差异**列表List**是链表linked-list结构**向量Vector**是数组支撑array-backed的结构。两者底层同样是 Java 类(class [1 2 3]) ; clojure.lang.PersistentVector (class (1 2 3)) ; clojure.lang.PersistentList列表本可直接写成(1 2 3)但必须 quote 以避免 reader 把它当成函数调用因此(list 1 2 3)等价于(1 2 3)。集合与序列的抽象区别集合collection只是数据的组合列表和向量都是集合(coll? (1 2 3)) ; true (coll? [1 2 3]) ; true序列seq是对数据列表的抽象描述只有列表是序列(seq? (1 2 3)) ; true (seq? [1 2 3]) ; false惰性序列可以定义无限序列序列只需在访问时提供一个条目因此可以是惰性lazy的——这意味着可以定义无限增长的序列(range 4) ; (0 1 2 3) (range) ; (0 1 2 3 4 ...) 无限序列 (take 4 (range)) ; (0 1 2 3)核心操作cons、conj、concat; cons在列表或向量的头部添加元素 (cons 4 [1 2 3]) ; (4 1 2 3) (cons 4 (1 2 3)) ; (4 1 2 3) ; conj以最高效的方式向集合添加元素 ; 对列表在头部插入对向量在尾部插入 (conj [1 2 3] 4) ; [1 2 3 4] (conj (1 2 3) 4) ; (4 1 2 3) ; concat拼接列表或向量 (concat [1 2] (3 4)) ; (1 2 3 4)注意conj的行为差异正是由列表/向量的底层结构决定的——链表头插高效数组尾插高效。高阶函数map、filter、reduce; map 与 filter 处理集合 (map inc [1 2 3]) ; (2 3 4) (filter even? [1 2 3]) ; (2) ; reduce 将集合折叠成一个值 (reduce [1 2 3 4]) ; ( ( ( 1 2) 3) 4) ; 10 ; reduce 还可以接收初始值参数 (reduce conj [] (3 2 1)) ; (conj (conj (conj [] 3) 2) 1) ; [3 2 1]reduce的两种用法展示了它在函数式编程中作为累积器的威力既可以无初始值直接折叠也可以指定初始值控制结果形态例如用空向量[]配合conj反转列表。函数定义fn、def、defn 与各种变体; fn 创建函数函数永远返回最后一个语句的结果 (fn [] Hello World) ; fn ; 调用需要额外加括号 ((fn [] Hello World)) ; Hello World ; def 创建 var变量 (def x 1) x ; 1 ; 把函数赋给 var (def hello-world (fn [] Hello World)) (hello-world) ; Hello World ; 用 defn 简写上述过程 (defn hello-world [] Hello World) ; [] 是函数的参数列表 (defn hello [name] (str Hello name)) (hello Steve) ; Hello Steve ; 匿名函数简写#(...) 中 %1 表示第一个参数 (def hello2 #(str Hello %1)) (hello2 Fanny) ; Hello Fanny多参数variadic函数函数可以定义多套参数列表按调用时参数个数分发(defn hello3 ([] Hello World) ([name] (str Hello name))) (hello3 Jake) ; Hello Jake (hello3) ; Hello World也可以把额外参数打包成一个序列; 后的参数会被收集为序列 (defn count-args [ args] (str You passed (count args) args: args)) (count-args 1 2 3) ; You passed 3 args: (1 2 3) ; 常规参数与打包参数可以混用 (defn hello-count [name args] (str Hello name , you passed (count args) extra args)) (hello-count Finn 1 2 3) ; Hello Finn, you passed 3 extra args映射Maps哈希映射与数组映射哈希映射hash map与数组映射array map共享同一接口。哈希映射查找更快但不保留键的顺序(class {:a 1 :b 2 :c 3}) ; clojure.lang.PersistentArrayMap (class (hash-map :a 1 :b 2 :c 3)) ; clojure.lang.PersistentHashMap数组映射在经历足够多的操作变大后会自动升级为哈希映射因此无需担心性能退化。关键字Keyword作为键映射可以用任何可哈希类型作为键但通常关键字keyword最佳——它类似字符串但更高效(class :a) ; clojure.lang.Keyword (def stringmap {a 1, b 2, c 3}) stringmap ; {a 1, b 2, c 3} (def keymap {:a 1, :b 2, :c 3}) keymap ; {:a 1, :c 3, :b 2}注意逗号始终被当作空白处理不做任何事只是为了提高可读性。取值把映射当函数调用; 通过调用映射取值 (stringmap a) ; 1 (keymap :a) ; 1 ; 关键字也能反过来从映射中取自己的值 (:b keymap) ; 2 ; 但字符串不行——字符串不是函数 ;(a stringmap) ; Exception: java.lang.String cannot be cast to clojure.lang.IFn ; 取不存在的键返回 nil (stringmap d) ; nilassoc 与 dissoc增删键但不可变; assoc 添加新键 (def newkeymap (assoc keymap :d 4)) newkeymap ; {:a 1, :b 2, :c 3, :d 4} ; 但 Clojure 类型是不可变的 keymap ; {:a 1, :b 2, :c 3} ; dissoc 删除键 (dissoc keymap :a :b) ; {:c 3}这里必须牢记所有 Clojure 集合都是不可变的assoc/dissoc返回的是新映射原映射毫发无损。这正是函数式编程与并发安全的基础。集合Sets去重与成员测试(class #{1 2 3}) ; clojure.lang.PersistentHashSet (set [1 2 3 1 2 3 3 2 1 3 2 1]) ; #{1 2 3} ; conj 添加成员 (conj #{1 2 3} 4) ; #{1 2 3 4} ; disj 移除成员 (disj #{1 2 3} 1) ; #{2 3} ; 把集合当函数调用可测试成员存在性 (#{1 2 3} 1) ; 1 (#{1 2 3} 4) ; nil更丰富的集合操作函数位于clojure.sets命名空间下文模块部分会演示如何加载并使用。常用控制形态if、let、do; Clojure 中的逻辑构造其实就是宏写法与其它形式无异 (if false a b) ; b (if false a) ; nil没有 else 分支时返回 nil ; let 创建临时绑定 (let [a 1 b 2] ( a b)) ; false ; do 将多个语句组成一个语句块返回最后一个表达式的值 (do (print Hello) World) ; World同时打印 Hello ; 函数体内隐式包含 do (defn print-and-say-hello [name] (print Saying hello to name) (str Hello name)) (print-and-say-hello Jeff) ; Hello Jeff打印 Saying hello to Jeff ; let 内部同样隐式包含 do (let [name Urkel] (print Saying hello to name) (str Hello name)) ; Hello Urkel打印 Saying hello to Urkel韩语原文档在此处点到if 与宏可以构建出其它逻辑运算英文原版 clojure.md 则补充了线程宏threading macros这一实战利器值得一并掌握。线程宏-、- 与 as-线程宏让数据变换的表达更加清晰; thread-first 宏 (-) 把上一步结果作为下一个 form 的第一个参数插入 (- {:a 1 :b 2} (assoc :c 3) ; (assoc {:a 1 :b 2} :c 3) (dissoc :b)) ; (dissoc (assoc {:a 1 :b 2} :c 3) :b) ; 等价于 (dissoc (assoc {:a 1 :b 2} :c 3) :b) ; 结果为 {:a 1 :c 3} ; thread-last 宏 (-) 把结果插入到每个 form 的末尾特别适合集合操作 (- (range 10) (map inc) ; (map inc (range 10)) (filter odd?) ; (filter odd? (map inc (range 10))) (into [])) ; (into [] (filter odd? (map inc (range 10)))) ; 结果: [1 3 5 7 9] ; as- 可以给变换结果命名自由指定插入位置 (as- [1 2 3] input (map inc input) ; 上一个变换的输出放在末尾 (nth input 2) ; 也可以放在第二个位置 (conj [4 5 6] input 8 9 10)) ; 甚至可以放在中间 ; 结果: [4 5 6 4 8 9 10]这三个宏是日常 Clojure 数据处理中出镜率最高的工具熟练掌握可以大幅提升代码可读性。模块Modulesuse、require 与 ns; use 导入模块中的所有函数 (use clojure.set) ; 现在可以使用集合运算了 (intersection #{1 2 3} #{2 3 4}) ; #{2 3} (difference #{1 2 3} #{2 3 4}) ; #{1} ; 也可以只导入一部分函数 (use [clojure.set :only [intersection]]) ; require 导入模块 (require clojure.string) ; 用 / 调用模块中的函数 (clojure.string/blank? ) ; true ; 导入时可以为模块起短别名 (require [clojure.string :as str]) (str/replace This is a test. #[a-o] str/upper-case) ; THIs Is A tEst. ; (# 表示正则表达式字面量)在现代 Clojure 代码中更推荐在ns里用:require声明依赖英文原版注释甚至建议use 就别用了(ns test (:require [clojure.string :as str] [clojure.set :as set]))这样无需对模块名 quote且依赖关系一目了然。仓库中的宏专题 ko/clojure-macros.md 同样遵循这一模式组织示例。Java 互操作直接调用 Java 标准库Java 拥有庞大而实用的标准库Clojure 提供了多种语法糖来调用它们; import 加载 Java 模块 (import java.util.Date) ; 也可以在 ns 中声明 import (ns test (:import java.util.Date java.util.Calendar)) ; 类名末尾加 . 创建新实例 (Date.) ; 一个 Date 对象 ; 用 . 调用实例方法或用 .方法名 简写 (. (Date.) getTime) ; 一个时间戳 (.getTime (Date.)) ; 完全等价 ; 用 / 调用静态方法 (System/currentTimeMillis) ; 一个时间戳System 始终存在 ; doto 让可变类的链式操作更顺手 (import java.util.Calendar) (doto (Calendar/getInstance) (.set 2000 1 1 0 0 0) .getTime) ; 一个被设为 2000-01-01 00:00:00 的 Date这段互操作能力意味着 Clojure 程序员可以随时借用整个 Java 生态这是它作为 JVM 语言最实际的优势之一。STM 与状态管理atom、swap! 与 deref软件事务内存Software Transactional Memory是 Clojure 处理持久化persistent状态的机制包含几种核心构造。atom最简单的事务构造; 创建 atom传入初始值 (def my-atom (atom {})) ; swap! 更新 atom ; swap! 接收一个函数以 atom 当前值为第一个参数、 ; 其余参数依次传入然后调用该函数 (swap! my-atom assoc :a 1) ; 将 my-atom 设为 (assoc {} :a 1) 的结果 (swap! my-atom assoc :b 2) ; 将 my-atom 设为 (assoc {:a 1} :b 2) 的结果 ; 用 解引用dereferenceatom 获取值 my-atom ; Atom#...返回的是 Atom 对象本身 my-atom ; {:a 1 :b 2}实战用 atom 实现计数器(def counter (atom 0)) (defn inc-counter [] (swap! counter inc)) (inc-counter) (inc-counter) (inc-counter) (inc-counter) (inc-counter) counter ; 5每次swap!都是无锁的原子更新多个线程可以安全地并发调用inc-counter这正是并发处理被极大简化的直观体现。其它 STM 构造ref 与 agent除 atom 外Clojure 的 STM 还提供ref支持事务性同步更新适合需要多个状态协同变更的场景与agent异步更新适合后台任务两种构造。仓库文档仅作指引性介绍深入内容可查阅官方文档Refs: http://clojure.org/refsAgents: http://clojure.org/agents进阶延伸宏Macros与同像性在掌握本文全部语法后强烈推荐继续阅读仓库中的 ko/clojure-macros.md韩语版宏指南。它与本文同源于英文原版讲解了defmacro定义宏宏必须返回可被求值的 Clojure 列表macroexpand/macroexpand-1查看宏展开结果反引号与~、~的模板与拼接技巧gensym与x#实现卫生宏hygienic macros避免变量捕获variable capture问题。例如unless宏的经典写法(defmacro unless [arg body] (if (not ~arg) (do ~body))) (macroexpand (unless true (reverse Hello World))) ;; - (if (clojure.core/not true) (do (reverse Hello World))) (unless true Hello) ; - nil (unless false Hello) ; - Hello宏是 Clojure 同像性赋予语言的元编程能力但要谨记文档的告诫能用函数解决的问题不要用宏只有需要控制参数求值时机时才该使用宏。仓库中的文档工程实践作为 learnxinyminutes-docs 仓库的一员韩语版 ko/clojure.md 遵循了仓库统一的文档规范YAML Front Matter文件头部包含contributors贡献者与translators译者元数据本例中贡献者为 Adam Bard韩语译者为 netpyoung代码即文档正文以完整可运行的带注释代码为主每个示例都标注了预期输出; ...便于读者在 REPL 中逐段验证质量保障工具仓库提供了 lint/frontmatter.py校验 Markdown 文件头部 YAML 的键名与类型合法性允许的键包括name、filename、contributors、translators等与 lint/encoding.sh检查所有.md文件的编码必须是 UTF-8 或 US-ASCII 且无 BOM韩语文档正是在这样的工程规范下维护的。进一步学习本文与 ko/clojure.md 只是入门好在可补充的资源非常多Clojure.org官方文档站收录了大量专题文章http://clojure.org/Clojuredocs.org为核心函数提供带示例的文档http://clojuredocs.org/quickref/Clojure%20Core4Clojure是提升 Clojure / 函数式编程技能的在线练习平台https://4clojure.oxal.org/Clojure-doc.org拥有大量入门文章http://clojure-doc.org/仓库内进阶材料英文原版 clojure.md 与宏专题 ko/clojure-macros.md从一切皆括号的 forms 到并发友好的 STMClojure 用一套简洁而强大的原语让函数式编程与 Java 生态无缝衔接。现在就把本文的示例粘进你的 REPL亲手感受前缀表达式、不可变集合与原子更新的魅力吧。赞分享文档教程【免费下载链接】learnxinyminutes-docsCode documentation written as code! How novel and totally my idea!项目地址https://gitcode.com/gh_mirrors/le/learnxinyminutes-docs点击查看免费下载相关推荐Learn X in Y MinutesHaskell 快速上手指南learnxinyminutes-docs 德语版深度讲解Learn X in Y MinutesHaskell 快速上手指南learnxinyminutes docs 德语版深度讲解 本篇以 learnxiny文档教程Learn X in Y MinutesSQL 快速入门实战指南learnxinyminutes-docs 德文版解析Learn X in Y MinutesSQL 快速入门实战指南learnxinyminutes docs 德文版解析 结构化查询语言Structure文档教程Learn X in Y Minutes 系列 Ruby 快速入门learnxinyminutes-docs 芬兰语版 ruby.md 语法精讲与实战示例Learn X in Y Minutes 系列 Ruby 快速入门learnxinyminutes docs 芬兰语版 ruby.md 语法精讲与实战示例 本文档教程上一篇Wotr-BD-LR神话道途全解析天使、恶魔、灵使最强搭配方案下一篇libiec61850项目中T/S/P选择器的配置原理与实践创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考