【正文】 ? 更高級的 IDE——推薦 IDEA + La Clojure插件。= nil (binding [number let number] (printnumber)) 。= Agent5d7a7de4: 5 再探 Clojure ? STM(Software Transactional Memory) (17) Ref、 Atom和 Agent的更新模型： 再探 Clojure ? STM(Software Transactional Memory) (18) Var是用 defn或 def定義，并用 ^:dynamic修飾的。= Agent5d7a7de4: 4 (send counter inc) 。= true 再探 Clojure ? STM(Software Transactional Memory) (15) (time (awaitfor 1 (send counter inc))) 。 (def counter (agent 0 :validator number?)) (send counter inc) 。= nil 再探 Clojure ? STM(Software Transactional Memory) (13) (defn demomemoize [] (time (dorun (binding [slowdouble (memoize slowdouble)] (callsslowdouble))))) (demomemoize) 。這是一個用空間換時間的典型案例。 (def currenttrack (atom {:lang Java :country CN})) (reset! currenttrack {:lang Golang :country CN}) 。= (1 2 7 4 5 8 13 6 3 9 12 11 10 17 14 15 16 18 20 19) (dosync (refset counter 0)) (time (doall (bombardcounter! 20 muteinc! counter))) 。= ({:sender User 2, :text Bye} {:sender User 1, :text Hello}) 再探 Clojure ? STM(Software Transactional Memory) (9) Clojure的 mute函數(shù)與 alter函數(shù)類似，但在并發(fā)的執(zhí)行更新操作時其執(zhí)行順序是不確定的。 (defrecord Message [sender text]) 。 (dosync (refset currenttrack CNClojure 2020 (2))) 。 再探 Clojure ? STM(Software Transactional Memory) (3) 再探 Clojure ? STM(Software Transactional Memory) (4) Clojure STM的四種操作模式 ? 協(xié)作 /獨立：狀態(tài)是否與其他狀態(tài)共同作用 ? 同步 /異步：狀態(tài)的更新是同步還是異步 name Coordinated/Independent Synchronous/Asynchronous Ref Coordinated Sync Atomic Independent Sync Agent Independent Async Vars ThreadLocal Sync 再探 Clojure ? STM(Software Transactional Memory) (5) Ref會為一個不可變的對象創(chuàng)建一個可變的引用。= {:c (c c++ java golang), :lisp (mon lisp scheme clojure)} 再探 Clojure ? STM(Software Transactional Memory) (1) Java的并發(fā)模型： ? 直接引用可變狀態(tài)（耗費大量精力來保證其一致性） ? 采用鎖來保護（悲觀策略） ? 死鎖的風險 ? 無法進行組合 ? 出錯后回滾困難 再探 Clojure ? STM(Software Transactional Memory) (2) Clojure的 STM使用了一種叫做多版本并發(fā)控制（ MVCC）的技術(shù)。= {:clojure 200x, :golang 201x, :java 199x, :lisp 195x} (dissoc langtimes :java) 。 or (langtimes :clojure) 。= {{:times 1990, :lang java, :paradigms [oop]} {:times 2020, :lang clojure, :paradigms [fp oop]} {:times 2020, :lang golang, :paradigms [multi]} {:times 1950, :lang lisp, :paradigms [fp]}} (set/project (set/join (set/select (= (:times %) 2020) langtimes) langparadigms) [:lang]) 。= {clojure golang python} (set/intersection lang drink) 。= 3 。= (3 2 1) 。= [\C \l (\l \o \j \u \r \e) (\l \o \j \u \r \e) (\u \r \e) (\C \l \o \j) (\j \u \r \e) (\C \l \o \j \u \r) (\o \j \u \r \e) (\C \l \o \j \u)] 再探 Clojure ? Sequences (4) ? 用 seq模仿堆棧（ Stack）： (conj 39。 ? 所有的 Java字符序列，包括 String類型。大多數(shù) seq函數(shù)都是 lazy的，返回 lazy seq(s)。這些數(shù)據(jù)要么是一個寫集合，要么是一些計算產(chǎn)生的連續(xù)的結(jié)果。e)))))) ([coll amp。= name:abc 再探 Clojure ? Macro示例 (defmacro keywordmap ([] {}) ([coll] `(let [~39。= ()) ?~ 在語法引用（ `）范圍內(nèi)，代表綁定名稱本身。 `(let [~39。 `(println ~(str [1])) 。 常用的 macro有 ： when、 cond、 lazyseq、 delay、 ifnot、and、 or、 ..、 、 、 binding等等 。 再探 Clojure ? Macro macro允許使用者控制 Clojure編譯器，并在一定范圍內(nèi)對語言的規(guī)則和句法進行微妙的調(diào)整。 (loop [x 5] (if (neg? x) x (recur (dec x)))) 。= nil (def ^:dynamic foo 10) (defn printfoo [] (println foo)) (binding [foo bound foo] (printfoo)) 。= nil 再探 Clojure ? let amp。= 100 。= [42 foo [5 12] ] 。 rest] val] (println rest)) (let [[x _ z :as orig] val] (println (conj orig (+ x z))))) 。= 再探 Clojure ? let amp。= 20 (eval (readstring (+ x x))) 。= (+ x x) (list? 39。 39。 eval ? 任何 form都可以被 quote修飾，包括數(shù)據(jù)結(jié)構(gòu)。實現(xiàn)操作的代碼被逐層包裝（函數(shù)）和返回，最后被調(diào)用。 loggerfns] (doseq [f loggerfns] (f %))) ((multilogger (printlogger *out*) (filelogger )) hello again) 。另外注意 filelogger函數(shù)的返回值和調(diào)用它的方式。 binding是一個宏，用于在局部范圍內(nèi)將指定值綁定到外部命名上。= (3 6 9 12 15 18 21 24 27 30 33 3