クロージュア

クロージュア

パラダイム	マルチパラダイム: エージェント指向[1] 同時[2] [3] 機能的[4] 論理[5] マクロ[6] パイプライン[7]
家族	リスプ
デザイン：	リッチ・ヒッキー
初登場	2007年; 17年前 （2007年）
安定リリース	1.11.2 [8] / 2024年3月8日; 8か月前 ( 2024-03-08 )
タイピングの規律	動的 強い
メモリ管理	ホスト経由のガベージコレクション（ JVM、CLR、ClojureScriptの場合はV8などのJavaScriptランタイム、またはBEAM（下記参照））
プラットフォーム	ジャワ JavaScript 。ネット
ライセンス	エクリプスパブリック
ファイル名拡張子	.clj .cljs .cljr .cljc .cljd .edn
Webサイト	クロージュア
方言
ClojureScript、ClojureDart
影響を受けた
C# C++ [9] コモンリスプ アーラン ハスケル[10] ジャワ ML プロローグ ラケット[11] ルビー[12] スキーム ウルフラム言語[13]
影響を受けた
エリクサー ハイ ジャネット[14] 低周波 ピクシー[15] ライン川[16]
Clojure プログラミング (Wikibooks)

Clojure（/ ˈ k l oʊ ʒ ər /、クロージャに似ている）^{[17] [18]は、} Javaプラットフォーム上のプログラミング言語Lispの動的かつ関数型的な 方言です。^{[19] [20]}

他のほとんどの Lisp と同様に、Clojure の構文はS 式に基づいて構築されており、コンパイルされる前にまずLisp リーダーによってデータ構造に解析されます。^{[21] [17]} Clojure のリーダーは、リストに加えてマップ、セット、ベクトルのリテラル構文をサポートしており、これらは前述の構造に直接コンパイルされます。 ^{[21] Clojure は}コードをデータとして扱い、Lisp マクロシステムを備えています。^{[22] Clojure は}Lisp-1であり、他の Lisp 方言とのコード互換性は意図されていません。これは、他の Lisp とは互換性のない独自のデータ構造を使用しているためです。^[22]

Clojureは不変性と不変データ構造を提唱し、プログラマーがアイデンティティとその状態の管理について明示的に記述することを推奨しています。^[23]不変値と明示的な時間進行構造によるプログラミングに重点を置くことで、より堅牢で、特に並行性のあるシンプルで高速なプログラムの開発を容易にしています。^{[24] [25] [17]} Clojureの型システムは完全に動的ですが、最近の取り組みでは依存型システムの実装も模索されています。^[26]

この言語は、もともと Java プラットフォーム向けに 2000 年代半ばにRich Hickeyによって作成されました。その後、 Common Language Runtime (.NET) などの他のプラットフォームにも移植されました。Hickey は、この言語の生涯にわたる善意の独裁者として、この言語の開発をリードし続けています。

リッチ・ヒッキーはClojure言語の作者です。^[19] Clojure以前には、.NETプラットフォームdotLispをベースにした同様のプロジェクトである^[27]や、LispとJavaの相互運用性を提供するための3つの試み、すなわちCommon Lisp用のJava外国語インターフェース( ^[28 ])、 [29] Lisp用の外部オブジェクトインターフェース(FOIL)、^[30]、およびLispに適したJavaサーブレットインターフェース(Lisplets)を開発しました。^[31]jfli

ヒッキーは2007年10月にClojureを一般公開するまでに約2年半を費やし、^[31]そのほとんどの時間を外部からの資金援助なしでClojureに専念して取り組んでいました。この期間の終わりに、ヒッキーはCommon Lispコミュニティの友人数名にこの言語を発表するメールを送りました。

ヒッキーによれば、Clojureの名前は、プログラミング概念「クロージャ」に、それぞれC#、Lisp、Javaの文字C、L、Jを組み合わせた言葉遊びで、この3つの言語はClojureの設計に大きな影響を与えました。^[18]

リッチ・ヒッキーは、関数型プログラミングのための現代的なLisp、既存のJavaプラットフォームと共生し、並行性を考慮して設計されたものを求めたため、Clojureを開発した。^{[24] [25] [32] [17]}彼はまた、プログラミング言語の設計とソフトウェアアーキテクチャにおけるシンプルさの重要性を強調し、疎結合、継承の代わりにプロトコルと型クラスを介したポリモーフィズム、メソッドの代わりに名前空間化されたステートレス関数、または構文をデータに置き換えることを提唱している。^{[33] [34] [35]}

Clojureの状態へのアプローチは、アイデンティティの概念によって特徴付けられ、^[23]これは時間の経過に伴う不変の状態の連続として表現されます。状態は不変の値であるため、任意の数のワーカーが並行して操作することができ、並行性は、ある状態から別の状態への変化を管理する問題になります。この目的のために、Clojureは、状態間の遷移について明確に定義されたセマンティクスを持ついくつかの可変参照型を提供します。^[23]

ClojureはJavaプラットフォーム上で動作し、その結果Javaと統合され、ClojureからJavaコードの呼び出しを完全にサポートしています。 ^{[36] [17]}また、ClojureコードはJavaから呼び出すこともできます。^{[37]コミュニティは、プロジェクトの自動化にClojure}コマンドラインインターフェイス（CLI）^[38]やLeiningenなどのツールを使用しており、 Maven統合をサポートしています。 これらのツールは、プロジェクトパッケージの管理と依存関係を処理し、Clojure構文を使用して構成されます。

Lisp方言として、Clojureは関数を第一級オブジェクトとして、読み取り-評価-印刷ループ（REPL）、およびマクロシステムをサポートしています。^[6] ClojureのLispマクロシステムは、Clojureのバッククォート（「構文クォート」と呼ばれる）のバージョンがシンボルを名前空間で修飾することを除いて、Common Lispのものと非常によく似ています。名前空間修飾された名前へのバインディングは禁止されているため、これは意図しない名前のキャプチャを防ぐのに役立ちます。キャプチャマクロの展開を強制することは可能ですが、明示的に行う必要があります。Clojureはユーザー定義のリーダーマクロを許可していませんが、リーダーはより制約された形式の構文拡張をサポートしています。^[39] Clojureはマルチメソッドをサポートし^[40]、インターフェースのような抽象化のために、プロトコル^[41]ベースのポリモーフィズムとレコード^[42]を使用したデータ型システムがあり、式の問題を回避するように設計された高性能で動的なポリモーフィズムを提供します。

Clojureは遅延シーケンスをサポートしており、不変性と永続的なデータ構造の原則を推奨しています。関数型言語として、副作用ベースのループではなく、再帰と高階関数に重点が置かれています。自動末尾呼び出し最適化は、JVMがネイティブでサポートしていないためサポートされていません。^{[43] [44] [45]}キーワードを使用して明示的にサポートすることは可能ですrecur。^[46]並列および同時プログラミングのために、Clojureはソフトウェアトランザクションメモリ、^[47]リアクティブエージェントシステム、^[1]およびチャネルベースの同時プログラミングを提供します。^[48]

Clojure 1.7では、Clojure、ClojureScript、ClojureCLRコードを同じ名前空間に埋め込むことができるリーダー条件が導入されました。^{[49] [21]トランスデューサーは、変換を構成する方法として追加されました。トランスデューサーにより、} mapやfoldなどの高階関数が、入力データの任意のソースに一般化できるようになります。伝統的にこれらの関数はシーケンスに対して動作しますが、トランスデューサーを使用すると、チャネルに対して動作し、ユーザーが変換用の独自のモデルを定義できるようになります。^{[50] [51] [52]}

拡張データ表記法（edn）^[53]は、データ転送フォーマットとして意図されたClojure言語のサブセットです。これはClojureデータ構造のシリアル化とデシリアル化に使用でき、Clojure自体はプログラムを表現するのにednのスーパーセットを使用します。

edn はJSONやXMLと同様の方法で使用されますが、組み込み要素のリストが比較的大きく、以下に例を示します。

• ブール値: true,false
• 文字列:"foo bar"
• 文字: \c、\tab
• シンボル:name
• キーワード::key
• 整数:123
• 浮動小数点数:3.14
• リスト:(a b 42)
• ベクトル:[a b 42]
• 地図:{:a 1, "foo" :bar, [1 2 3] four}
• セット:#{a b [1 2 3]}
• nil: nil( nullのような値)

これらの要素に加えて、タグの使用による拡張性もサポートされています。タグは、文字とそれに続く記号で構成されます#。タグに遭遇すると、リーダーは次の要素の値を対応するハンドラーに渡し、ハンドラーはデータ値を返します。たとえば、これはタグ付き要素 である可能性があり、#myapp/Person {:first "Fred" :last "Mertz"}その解釈はリーダーの適切なハンドラーに依存します。

他の要素を基準とした拡張要素のこの定義により、基本セットに含まれていない要素を伝えるために規則やコンテキストに依存する必要がなくなります。

Clojureの主なプラットフォームはJavaですが^{[20] [36]}、他のターゲット実装も存在します。最も注目すべきは、ECMAScript 3にコンパイルされるClojureScript ^{[54 ]}と、そのエコシステムと相互運用可能な.NETプラットフォームへの完全なポートであるClojureCLR ^[56]です。

さまざまなプラットフォームでの Clojure の実装には、次のものがあります。

• Babashka、^[57] GraalVMネイティブイメージとSmall Clojure Interpreterを活用したネイティブClojureスクリプト言語
• CljPerl、^[58] Perl上のClojure
• ClojureDart、^[59] ClojureをDartとFlutterに移植することで、モバイルとデスクトップアプリへのClojureの適用範囲を拡大する
• Clojerl、^[60] BEAM上のClojure 、Erlang 仮想マシン
• basilisp、^[61] Python 3.8以降を対象としたClojure互換（っぽい）Lisp方言
• ClojureRS、^[62] Rust上のClojure
• Ferret ^[63]はマイクロコントローラ上で実行できる自己完結型のC++11にコンパイルされる。
• jank、^[64] LLVMベースのJIT上でC++でホストされたネイティブClojure
• Joker ^[65] Go言語で書かれたインタープリタとリンタ
• Las3r ^{[66] 、} ActionScript仮想マシン（Adobe Flash Playerプラットフォーム）上で動作するClojureのサブセット
• Pixie、^{[67] Clojureに触発された}RPythonで書かれたLisp方言
• Rouge、^[68] RubyにおけるYARVのClojure

Clojure開発用のツールは、ここ数年で大幅に改善されました。以下は、Clojureプログラミングのサポートを追加するプラグインを備えた、人気のあるIDEとテキストエディタのリストです。 ^[69]

• Emacs、CIDER付き^[70]
• IntelliJ IDEA、Cursive ^{[71]付き（}非商用利用の場合は無料ライセンスが利用可能）
• Sublime Text、Clojure Sublimed、^[72]または Tutkain、^[73]
• Vim、 fireplace.vim 付き、^{[74] [75]} vim-elin、^[76]または Conjure (Neovim のみ) ^{[77] [78]}
• Visual Studio Code、Calva ^[79]またはClover ^{[80]を使用}
• IDEに依存しない（静的解析やリンティングに言語サーバープロトコルを使用）：clj-kondo ^[81]またはclojure-lsp ^[82]

コミュニティによって提供されるツールに加えて、公式のClojureコマンドラインインターフェース（CLI）ツール^[38]もClojure 1.9以降Linux、macOS、Windowsで利用できるようになりました。 ^[83]

開発プロセスはClojureコアチームに限定されていますが、問題はClojure JIRAプロジェクトページで公開されています。^[84]誰でもask.clojure.orgで質問したり、問題やアイデアを送信したりできます。^[85]新しい問題がJIRAチケットに値すると判断された場合、コアチームのメンバーがそれをトリアージして追加します。JIRAの問題はスクリーナーチームによって処理され、最終的にRich Hickeyによって承認されます。^{[86] [87]}

関数型プログラミングへの関心が高まり続ける中、Javaプラットフォームを使用するソフトウェア開発者によるClojureの採用は増加し続けています。この言語は、ブライアン・ゲッツ、^{[88] [89] [90]}エリック・エバンス、^{[91] [92]} ジェームズ・ゴスリング、^[93] ポール・グラハム、^[94]ロバート・C・マーティンなどのソフトウェア開発者からも推奨されています。^{[95] [96] [97] [98]} ThoughtWorksは、テクノロジーレーダーで関数型プログラミング言語を評価した際、^[99] 2010年にClojureを「JVM上のLispのシンプルでエレガントな実装」と評し、2012年にそのステータスを「ADOPT」に昇格させました。^[100]

SnykとJava Magazineが共同で作成した「JVMエコシステムレポート2018」（「Java開発者に対するこれまでで最大の調査」と称される）では、Clojureが「主要アプリケーション」のJVM上で2番目に多く使用されているプログラミング言語にランクされています。^[101] Clojureは、 Apple、 [102 ^{] 、 [103] [104]} Atlassian、^[105] Funding Circle、^[106] Netflix、^[107] Nubank、^[108] Puppet、^[109] Walmart ^{[110]などの企業や、} NASAなどの政府機関で使用されています。^{[111]また、視覚芸術、音楽、ゲーム、詩など}のクリエイティブコンピューティングにも使用されています。^[112]

2023年版のStack Overflow開発者調査では、Clojureはプログラミング言語とスクリプト言語のカテゴリーで4番目に高く評価され、昨年Clojureを使用した回答者の68.51%が、今後も引き続き使用したいと回答しました。ただし、望ましいカテゴリーでは、調査対象者のわずか2.2%がそう評価したのに対し、最高得点のJavaScriptは調査に参加した開発者の40.15%が望ましいと回答しました。 ^[113]

• JVM言語のリスト
• CLI言語のリスト
• プログラミング言語の比較

• 公式サイト