Clojure

Clojureのロゴ
パラダイム	関数型言語, マルチパラダイム
登場時期	2007年 (2007)
設計者	Rich Hickey
最新リリース	1.12.5 / 2026年5月12日[1]
型付け	動的型付け, 強い型付け
影響を受けた言語	LISP, ML, Haskell, Erlang[2]
プラットフォーム	Java仮想マシン
ライセンス	Eclipse Public License
ウェブサイト	clojure.org
テンプレートを表示

Clojure (発音は/'klouʒər/^[3], クロージャー)は、関数型プログラミング言語であり、LISP方言の一つである。関数型プログラミングのプログラミングスタイルでのインタラクティブな開発を支援し、マルチスレッドプログラムの開発を容易化する汎用言語である。ClojureのプログラムはJava仮想マシンで動作する。.NETで動作するClojureCLRも開発されている。Clojureは「データとしてのプログラムコード」 (英語:「code as data」) という思想で設計されており、洗練されたマクロ機構を持つ。

リッチ・ヒッキー (Rich Hickey)がClojureを設計した目的は、既存のJavaプラットフォーム上で動作して、並行コンピューティングができる、関数型のLISP系の言語を作ることである。^[4][5]

Clojureが並行コンピューティングを実現する手法は、不変(イミュータブル)な状態の連鎖という概念によって特徴づけられる。 ^[6]状態が不変であるため、ひとつの状態に対して複数の操作を並列に行うことができ、並列性という問題が「状態遷移の管理」になる。そのため、Clojureには、状態遷移に関して明確な定義をもつ可変な参照型がいくつか用意されている。

他のLISP系言語と同様、ClojureのプログラムはS式で表現する。プログラムコードはコンパイルされる前に、リーダーによって解析され、内部データ構造に変換される。Clojureのリーダーは、リストの他に配列・ハッシュテーブル・集合もリテラル表現として扱うことができ、そのままコンパイラに渡される。言いかえると、Clojureのコンパイラはリストだけでなく、上に挙げた全てのデータ構造を直接扱うことができるということである。ClojureはLisp-1であり、関数名と変数名は同一名前空間にある。また、他のLISP系言語とのコードの互換性は考慮されていない。

Clojureのマクロ機構は、Common Lispのそれによく似ている。ただし、Clojureのバッククオート(「シンタクス・クオート」と呼ばれる)では、個々の記号が局所的な名前空間によって区別されるという点で、Common Lispのマクロとは異なっている。この仕組みによって、マクロ展開時の変数の捕獲(= マクロが展開された環境に同名の変数があると、その変数の値が変更されてしまうこと)を避けている。マクロ展開時の変数の捕獲を許容するように強制することもできるが、それは明示的に行わなければならない。また、Clojureでは、現在の名前空間にインポートされた別の名前空間の大域名を変更することは許容されていない。

• 対話型評価環境(REPL)による動的な開発ができる。
• 関数が第一級のオブジェクトであり、副作用に基いたループを使わずに、再帰呼び出しを動作原理とするものであること。
• 遅延シーケンス (英語: lazy sequence)
• イミュータブルで永続なたくさんのデータ構造
• ソフトウェアトランザクショナルメモリ、agentシステム、動的varシステムを使った並行コンピューティング
• Java仮想マシンのバイトコードを生成するコンパイラ言語であること。
• マルチメソッドにより、複数の引数の型の組み合わせで実行される処理内容を変更することができる。(普通のオブジェクト指向言語のポリモーフィズムでは、ただ1つの引数によって決定される)
• Javaとの密接な統合: Java仮想マシンのバイトコードにコンパイルされるため、Clojureで作られたアプリケーションソフトは、Javaの既存のシステムを生かすことができる。そのため、アプリケーションのパッケージ化やアプリケーションサーバーへの配備も容易に行える。また、この言語のマクロ機構を使えば、既存の Java API の呼び出しも容易に行える。さらに、Clojureのデータ構造はいずれも、Java の標準的なインターフェースを実装しているので、Java言語の側からClojureのプログラムを呼び出すのも簡単である。

CUI版のHello World:

(println "Hello, world!")

GUI版の Hello World:

(javax.swing.JOptionPane/showMessageDialog nil "Hello World")

重複しない通し番号の、スレッドセーフな生成器

(let [i (atom 0)]
  (defn generate-unique-id
    "Returns a distinct numeric ID for each call."
    []
    (swap! i inc)))

ダミーのjava.io.Writerのサブクラスを無名クラスとして作成し、それを使って、内部のprint関数からの全ての出力を無効にするようなマクロを定義。

(def bit-bucket-writer
  (proxy [java.io.Writer] []
    (write [buf] nil)
    (close []    nil)
    (flush []    nil)))

(defmacro noprint
  "Evaluates the given expressions with all printing to *out* silenced."
  [& forms]
  `(binding [*out* bit-bucket-writer]
     ~@forms))

(noprint
 (println "Hello, nobody!"))

それぞれに10個の値の入った長さ100の配列(vector)があり、10×100＝1,000個の異なる連続した数が格納されている。これら100個のvectorを16個のスレッドで共有する。各スレッドは、ランダムに2つのvectorを選びそれぞれの配列でランダムな位置を決めて、二つの配列の要素の内容を交換する、という作業をClojureのソフトウェアトランザクショナルメモリを使って行う。この作業を300,000回繰り返しても、最初に格納されていた1,000個の数はどれひとつとして失われることがない。

(defn run [nvecs nitems nthreads niters]
  (let [vec-refs (vec (map (comp ref vec)
                           (partition nitems (range (* nvecs nitems)))))
        swap #(let [v1 (rand-int nvecs)
                    v2 (rand-int nvecs)
                    i1 (rand-int nitems)
                    i2 (rand-int nitems)]
                (dosync
                 (let [temp (nth @(vec-refs v1) i1)]
                   (alter (vec-refs v1) assoc i1 (nth @(vec-refs v2) i2))
                   (alter (vec-refs v2) assoc i2 temp))))
        report #(do
                 (prn (map deref vec-refs))
                 (println "Distinct:"
                          (count (distinct (apply concat (map deref vec-refs))))))]
    (report)
    (dorun (apply pcalls (repeat nthreads #(dotimes [_ niters] (swap)))))
    (report)))

(run 100 10 16 300000)

• Clojure 公式ウェブサイト
• Clojure GitHub コード・リポジトリ
• Clojureの総合解説
• Full Disclojure - Screencast
• developerWorks JapanのClojure解説記事（日本語） - ウェイバックマシン（2020年11月9日アーカイブ分）
• Clojure conj 開発者会議

表 話 編 歴 Java
オラクル	現行 Java言語 文法 キーワード 履歴 JDK OpenJDK JVM HotSpot Java SE (Standard) Card JavaFX 廃止 Applet Web Start (JNLP) JRE Java ME (Micro) Java EE (Enterprise)
サードパーティ	Jakarta EE Servlet Pages Faces Messaging Transactions Enterprise Beans RESTful その他 Android SDK Android Studio Eclipse GNU Classpath GWT Harmony Hibernate IcedTea IntelliJ IDEA Spring Struts WildFly
JVM言語	BeanShell Clojure Groovy JRuby Jython Kotlin Processing Rhino Scala
コミュニティ	カンファレンス JavaOne Devoxx 組織 Apache財団 Eclipse財団 JCP オラクル サン・マイクロシステムズ 人物 ジェームズ・ゴスリン アーサー・ヴァン・ホフ ウルス・ヘルツレ パトリック・ノートン
カテゴリ コモンズ Portal:コンピュータ