Javaでは、式は値を返し、文は値を返しません。
// "if" is a statement because it doesn't return a value:
String s;
if (x > 10) {
s = "greater";
} else {
s = "less or equal";
}
obj.someMethod(s);
// Ternary operator is an expression; it returns a value:
obj.someMethod(x > 10 ? "greater" : "less or equal");しかし、Clojureではすべてが式です！すべてが値を返し、複数の式のブロックは最後の値を返します。副作用のみを行う式はnilを返します。
同様に、制御フロー演算子も式です！
制御フロー演算子は合成可能であるため、どこでも使用できます。これにより、コードの重複が少なくなり、中間変数も少なくなります。
制御フロー演算子は、マクロによって拡張することもできます。マクロを使用すると、コンパイラをユーザーコードで拡張できます。今日はマクロについては説明しませんが、マクロ、Clojure from the Ground Up、またはClojure for the Brave and Trueなどで詳しく読むことができます。
ififは最も重要な条件式です。条件、"then"、および"else"で構成されます。ifは、条件によって選択された分岐のみを評価します。
user=> (str "2 is " (if (even? 2) "even" "odd"))
2 is even
user=> (if (true? false) "impossible!") ;; else is optional
nilClojureでは、すべての値は論理的に真または偽です。"偽"の値はfalseとnilのみであり、他のすべての値は論理的に真です。
user=> (if true :truthy :falsey)
:truthy
user=> (if (Object.) :truthy :falsey) ; objects are true
:truthy
user=> (if [] :truthy :falsey) ; empty collections are true
:truthy
user=> (if 0 :truthy :falsey) ; zero is true
:truthy
user=> (if false :truthy :falsey)
:falsey
user=> (if nil :truthy :falsey)
:falseyifとdoifは、"then"と"else"に単一の式しか受け付けません。より大きなブロックを単一の式にするには、doを使用します。
これは、本体に副作用がある場合のみ必要です！（なぜ？）
(if (even? 5)
(do (println "even")
true)
(do (println "odd")
false))whenwhenは、then分岐のみを持つifです。条件をチェックし、任意の数の文を本体として評価します（そのため、doは必要ありません）。最後の式の値が返されます。条件が偽の場合、nilが返されます。
whenは、"else"分岐がないことを読者に伝えます。
(when (neg? x)
(throw (RuntimeException. (str "x must be positive: " x))))condcondは、一連のテストと式です。各テストは順番に評価され、最初の真のテストに対して式が評価され、返されます。
(let [x 5]
(cond
(< x 2) "x is less than 2"
(< x 10) "x is less than 10"))condとelseテストがどれも満たされていない場合、nilが返されます。一般的なイディオムは、:elseの最終テストを使用することです。キーワード（:elseなど）は常に真に評価されるため、これは常にデフォルトとして選択されます。
(let [x 11]
(cond
(< x 2) "x is less than 2"
(< x 10) "x is less than 10"
:else "x is greater than or equal to 10"))forリスト内包表記であり、**forループではありません**。
シーケンス順列のジェネレータ関数です。
バインディングはdoseqのように動作します。
user=> (for [letter [:a :b]
number (range 3)] ; list of 0, 1, 2
[letter number])
([:a 0] [:a 1] [:a 2] [:b 0] [:b 1] [:b 2])Clojureはrecurとシーケンス抽象化を提供します。
recurは「古典的な」再帰です。
コンシューマはそれを制御せず、低レベルの機能と見なされます。
シーケンスは反復処理を値として表します。
コンシューマは部分的に反復処理できます。
リデューサは反復処理を関数合成として表します。
Clojure 1.5で追加されましたが、ここでは説明しません。
Javaと同じようにtry/catch/finallyを使用します。
(try
(/ 2 1)
(catch ArithmeticException e
"divide by zero")
(finally
(println "cleanup")))