特殊形式

シンボルの名前を持つグローバルvarを作成または検索し、現在の名前空間（*ns*）の値を名前空間として設定します。初期値が指定されている場合、それは評価され、varのルートバインディングは結果の値に設定されます。初期値が指定されていない場合、varのルートバインディングは影響を受けません。defは、defが呼び出された時点でvarがスレッドバインドされている場合でも、常にルートバインディングに適用されます。defはvar自身（その値ではない）を返します。シンボルが既に名前空間にあり、インターンのvarにマップされていない場合は、例外をスローします。doc文字列のサポートはClojure 1.3で追加されました。

シンボルのメタデータはすべて評価され、var自体のメタデータになります。特殊な解釈を持つメタデータキーがいくつかあります。

さらに、コンパイラはvarに次のメタデータキーを配置します。

varのメタデータは、アプリケーション固有の用途にも使用できます。衝突を避けるために、名前空間修飾キー（例：:myns/foo）の使用を検討してください。

多くのマクロはdefに展開されます（例：defn、defmacro）。そのため、名前として使用されるシンボルから結果のvarのメタデータも伝達されます。

最上位以外の場所でvarのルート値を変更するためにdefを使用することは、通常、varをミュータブルなグローバル変数として使用していることを示しており、悪いスタイルと見なされます。varのスレッドローカルな値を提供するためにバインディングを使用するか、refまたはagentをvarに配置し、トランザクションまたはアクションを使用して変更することを検討してください。

テストを評価します。単一の値nilまたはfalseでない場合、真の場合を評価して返します。そうでない場合、偽の場合を評価して返します。偽の場合が指定されていない場合、デフォルトはnilになります。Clojureの他のすべての条件式は、同じロジックに基づいています。つまり、nilとfalseは論理的偽を構成し、それ以外はすべて論理的真を構成します。これらの意味は全体を通して適用されます。ifは、ブール値のJavaメソッドの戻り値をBooleanに変換せずに条件テストを実行します。ifは、java.lang.Booleanの任意の値ではなく、単一の値false（JavaのBoolean.FALSE）のみをテストすることに注意してください。そのため、独自のボックス化されたBooleanを作成する場合は、BooleanコンストラクタではなくBoolean/valueOfを使用してください。

式式を順番に評価し、最後の式の値を返します。式が指定されていない場合、nilを返します。

バインディング ⇒ バインディングフォーム 初期値式

バインディングフォーム内のシンボルがそれぞれに対応する初期値式またはその一部にバインドされるレキシカルコンテキストで、式式を評価します。バインディングはシーケンシャルであるため、各バインディングは前のバインディングを参照できます。式は暗黙のdoに含まれています。バインディングシンボルにメタデータタグが付いている場合、コンパイラはタグをクラス名に解決しようと試み、その後のバインディングへの参照でその型を想定します。最も単純なバインディングフォームはシンボルであり、これは初期値式全体にバインドされます。

バインディング形式の詳細については、バインディング形式を参照してください。

letで作成されたローカル変数は変数ではありません。作成されると、その値は決して変化しません！

評価されていないフォームを返します。

関数aを呼び出そうとする試みは行われません。戻り値は3つのシンボルのリストです。

シンボルはvarに解決する必要があり、Varオブジェクト自体（その値ではない）が返されます。リーダーマクロ#'xは(var x)に展開されます。

パラメータ ⇒ 位置パラメータ* 、または 位置パラメータ* & restパラメータ
位置パラメータ ⇒ バインディングフォーム
restパラメータ ⇒ バインディングフォーム
名前 ⇒ シンボル

関数を定義します（fn）。Fnは、IFnインターフェースを実装する第一級オブジェクトです。IFnインターフェースは、0〜20の範囲のアリティでオーバーロードされたinvoke()関数を定義します。単一のfnオブジェクトは、1つ以上のinvokeメソッドを実装し、アリティでオーバーロードできます。オーバーロードの1つだけが、アンパサンドの後に単一のrestパラメータを指定することで可変長にすることができます。このような可変長エントリポイントは、位置パラメータを超える引数で呼び出されると、それらをシーケンスに収集し、restパラメータによってバインドまたはデストラクチャリングします。提供された引数が位置パラメータを超えない場合、restパラメータはnilになります。

最初の形式は、単一のinvokeメソッドを持つfnを定義します。2番目は、1つ以上のオーバーロードされたinvokeメソッドを持つfnを定義します。オーバーロードのアリティは異なる必要があります。いずれの場合も、式の結果は単一のfnオブジェクトです。

式式は、パラメータが実際の引数にバインドされる環境でコンパイルされます。式は暗黙のdoに囲まれています。名前シンボルが提供されている場合、関数オブジェクト自体に関数定義内でバインドされ、匿名関数でも自己呼び出しが可能になります。パラメータシンボルにメタデータタグが付いている場合、コンパイラはタグをクラス名に解決しようと試み、その後のバインディングへの参照でその型を想定します。

multなどの名前付きfnは通常、上記のようなものに展開されるdefnで定義されます。

fn（オーバーロード）は、関数の先頭に、パラメータの数（restパラメータが存在する場合を含む）に等しいアリティを持つ再帰ポイントを定義します。recurを参照してください。

fnsは、Javaの`Callable`、`Runnable`、`Comparator`インターフェースを実装します。

1.1以降

関数は、実行時の事前条件と事後条件の指定をサポートします。

関数定義の構文は以下のようになります。

この構文拡張は、`defn`や`fn`形式に展開される他のマクロにも適用されます。

注: パラメータベクトルの後に続く唯一の形式がマップの場合、それは関数本体として扱われ、条件マップとしては扱われません。

*condition-map*パラメータを使用して、関数の事前条件と事後条件を指定できます。その形式は以下のとおりです。

どちらのキーも省略可能です。条件マップは、引数リストのメタデータとして提供することもできます。

*pre-expr*と*post-expr*は、関数の引数を参照できるブール型式です。さらに、*post-expr*では`%`を使用して関数の戻り値を参照できます。いずれかの条件が`false`と評価され、`*assert*`がtrueの場合、`java.lang.AssertionError`例外がスローされます。

例

バインディング形式の詳細については、バインディング形式を参照してください。

`loop`は`let`と全く同じですが、ループの先頭に再帰ポイントを確立します。アリティはバインディングの数に等しくなります。 `recur`を参照してください。

*expr*を順に評価し、その後、並行して、再帰ポイントのバインディングを*expr*の値に再バインドします。再帰ポイントが`fn`メソッドだった場合、パラメータを再バインドします。再帰ポイントが`loop`だった場合、`loop`のバインディングを再バインドします。その後、実行は再帰ポイントに戻ります。`recur`式は、再帰ポイントのアリティと完全に一致する必要があります。特に、再帰ポイントが多変数の`fn`メソッドの先頭だった場合、`rest`引数の収集はありません。単一のシーケンス（またはnull）を渡す必要があります。テールポジション以外での`recur`はエラーです。

Clojureでは、`recur`が唯一のスタック消費のないループ構築であることに注意してください。テールコール最適化はなく、未知の範囲のループに対する自己呼び出しの使用は推奨されません。`recur`は関数型であり、テールポジションでの使用はコンパイラによって検証されます。

*expr*は評価され、スローされるため、`Throwable`の派生クラスのインスタンスを生成する必要があります。

*catch-clause* → (catch *classname* *name* *expr*)
*finally-clause* → (finally *expr*)

*expr*は評価され、例外が発生しない場合、最後の式の値が返されます。例外が発生し、*catch-clause*が提供されている場合、それぞれ順番に調べられ、スローされた例外が*classname*のインスタンスである最初のものが一致する*catch-clause*とみなされます。一致する*catch-clause*がある場合、その*expr*は*name*がスローされた例外にバインドされたコンテキストで評価され、最後の式の値が関数の戻り値になります。一致する*catch-clause*がない場合、例外は関数から伝播します。正常に終了する場合も異常終了する場合も、戻る前に、すべての*finally-clause* *expr*が副作用のために評価されます。

これらは、ユーザーコードでは避けるべき同期プリミティブです。`locking`マクロを使用してください。

特殊形式dot ('.')、new、およびフィールドのset!については、リファレンスのJava相互運用性セクションで説明されています。

varのset!については、リファレンスのVarsセクションで説明されています。

Clojureで最も単純な*binding-form*はシンボルです。しかし、Clojureは`let`のバインディングリスト、`fn`のパラメータリスト、そして`let`または`fn`に展開されるマクロで、デストラクチャリングと呼ばれる抽象的な構造バインディングもサポートしています。デストラクチャリングとは、類似の集合体をバインディング形式として使用して、集合体内の値へのバインディングの集合を作成する方法です。ベクトル形式は、順次集合体内の位置によってバインディングを指定し、マップ形式は、関連付けられた集合体内のキーによってバインディングを指定します。デストラクチャリング形式は、*binding-form*が存在する場所にどこでも表示でき、ネストすることもできるため、コレクションアクセサを使用するよりも明確なコードになります。

データの欠如（つまり、順次構造の要素が少なすぎる、関連付けられた構造にキーがないなど）のために対応する部分と一致しない*Binding-form*は、`nil`にバインドされます。