最近学习了Clojure,好记性不如烂笔头,把一些知识点记录了下来。原本想放在一篇文章里的,谁知太长了,只好分成了三篇,本文是第一篇。由于是笔记,比较杂乱,建议阅读前先系统地学习Clojure(比如 Clojure - Function Programming for JVM),然后用本笔记知识梳理。
Clojure是一个动态类型的,运行在JVM(JDK5.0以上),并且可以和java代码互操作的函数式语言。这个语言的主要目标之一是使得编写一个有多个线程并发访问数据的程序变得简单。
Clojure的发音和单词closure是一样的。Clojure之父是这样解释Clojure名字来历的
“我想把这就几个元素包含在里面: C (C#), L (Lisp) and J (Java). 所以我想到了 Clojure, 而且从这个名字还能想到closure;它的域名又没有被占用;而且对于搜索引擎来说也是个很不错的关键词,所以就有了它了.”
true
, false
常用函数:
not
and
or
nil
,只有false与nil会被计算为false,其它的都为true
常用函数:
nil?
字符的表示要在前面加反斜杠 \a
\b
\c
…
数字1
, 2
…
常用函数:
+
, -
, *
/
(分数形式),quot
(商),rem
(余数)inc
,dec
min
, max
=
,<
,<
,>
,>=
zero?
,pos?
,neg?
,number?
字符串,如 “hello”
常用函数
str
: 拼接多个字符串subs
: 子字符串(0为开始下标)string?
关键字,常用于Map中的key,:tag
,:doc
变量名,一个命名空间中唯一。如(def x 1)
,就申请了一个'user/x
的Symbol。
list, vector, set, map
clojure中的任何变量都是不变的,当对一个变量进行修改时,都会产生一个新的变量(clojure会使用共享内存的方式,只会消耗很小的内存代价)。有点像scala中的val哦。
count
返回集合里面的元素个数
(count [19 "yellow" true]) ; -> 3 |
reverse
把集合里面的元素反转
(reverse [1 2 3]) ; -> (3 2 1) |
map
对一个集合内的每个元素都调用一个指定的方法。每个元素调用方法后的返回值再构成一个新的集合返回。
; 使用匿名函数对每个元素加3 |
apply
把集合里的所有元素都作为函数参数做一次调用,并返回这个函数的返回值。
(apply + [2 4 7]) ; -> 13 |
conj & cons
conj (conjoin), 添加一个元素到集合里面去。如果是list类型,则新元素插到队头;如果是vector类型,则新元素插到队尾。
cons (construct),也是添加一个元素到集合里面去。只不过新元素都会在队头。返回类型都会变成seq。
; cons用以向列表或向量的起始位置添加元素 |
常用的集合操作
;从集合中取一个元素 |
Lists 相当于Java中的LinkedList。
创建
(def stooges (list "Moe" "Larry" "Curly")) |
some
检测一个集合中是否包含某个元素,需要跟一个谓词函数和一个集合。
(some #(= % "Moe") stooges) ; -> true |
into
把两个集合里面的元素合并成一个新的大list
(into [1 2] [3 4]) ; -> [1 2 3 4] |
类似于数组。这种集合对于从最后面删除一个元素,或者获取最后面一个元素是非常高效的(O(1))。这意味着对于向vector里面添加元素使用conj被使用cons更高效。
创建
(def stooges (vector "Moe" "Larry" "Curly")) |
get
获取vector里面指定索引的元素,从map中取value也是用的get。get 和 nth 有点类似。
; Usage: (get map key) , (get map key not-found) |
assoc
可以对 vectors 和 maps进行操作。替换指定索引的元素。
(assoc stooges 2 "Shemp") ; -> ["Moe" "Larry" "Shemp"] |
subvec
获取一个给定vector的子vector。
; Usage: (subvec v start) , (subvec v start end) |
contains?
是否包含某元素。可以操作在set和map上。
(contains? stooges "Moe") ; -> true |
Sets 自己也可以作为一个函数。当以这种方式来用的时候,返回值要么是这个元素,要么是nil。 这个比起contains?函数来说更简洁。
(stooges "Moe") ; -> "Moe" |
disj
去掉给定的set里面的一些元素,返回一个新的set。
(def more-stooges (conj stooges "Shemp")) ; -> #{"Moe" "Larry" "Curly" "Shemp"} |
Maps 保存从key到value的a对应关系 — key和value都可以是任意对象。和set类似,map也分为排序的(sorted-hash)和不排序的(hash-map)。
创建
(def colors (hash-map :red 1, :yellow 9, :blue 4, :black 3)) |
Map可以作为它的key的函数,同时如果key是keyword的话,那么key也可以作为map的函数。下面是三种获取:red
所对应的值的方法。
(get colors :red) |
contains? & keys & vals
contains? 用来检测某个key存不存在。keys 和 vals 可以获得map中的键集合和值集合。
(contains? colos :red) ; -> true |
assoc & dissoc
assoc 会创建一个新的map,同时添加任意对新的key-value对, 如果某个给定的key已经存在了,那么它的值会被更新。
dissoc 会创建一个新的map,同时去掉了给定的那些key。
(assoc colors :red "red" :white "white") |
遍历
遍历map可以使用宏doseq
,把key bind到color, 把value bind到v。name函数返回一个keyword的字符串名字。
(doseq [[color v] colors] |
输出为:
The value of yellow is 9. The value of red is 1. The value of blue is 4. The value of black is 3. |
或者使用Destructing。
内嵌
map的值也可以是一个map。
(def person { |
为了获取这个人的employer的address的city的值,我们一般有三种方法。
; 使用get-in函数 |
修改一个内嵌的key值,我们可以使用assoc-in
或者update-in
,不同之处在于update-in
的新值是通过一个给定的函数来计算出来的。
(assoc-in person [:employer :address :city] "Clayton") |
StructMaps 和普通map类似,它的作用其实是用来模拟java里面的javabean。
定义
(def vehicle-struct (create-struct :make :model :year :color)) |
实例化
使用struct
函数实例化一个StructMap对象,相当于java里面的new关键字。提供给struct的参数的顺序必须和定义时提供的keyword的顺序一致,后面的参数可以忽略。如果忽略,那么对应key的值就是nil。
(def vehicle (struct vehicle-struct "Toyota" "Prius" 2009)) |
accessor
accessor 函数可以创建一个类似java里面的getXXX的方法, 它的好处是可以避免hash查找, 它比普通的hash查找要快。
(def make (accessor vehicle-struct :make)) ; 注意使用的是def而不是defn |