最近の暴露で、Cardano の創設者 Charles Hoskinson 氏は、Clojure プログラミング言語を使用して Cardano ブロックチェーン プラットフォームを構築するところだったことを明らかにしました。
X ディスカッションで、Cardano の創設者は最近、Cardano の創設につながった初期の意思決定プロセスについて興味深い一端を垣間見せてくれました。彼は、動的で関数型の Lisp 方言である Clojure と、静的に型付けされた関数型プログラミング言語である Haskell のどちらを使用するかという重要な瞬間を明らかにしました。
しかし、Cloud Haskell の可能性と Liquid Haskell および Agda を活用できるという期待の影響を受けて、最終的には Haskell を選択するという決定になりました。
私は、Cardano を Clojure で構築するところでした。何年も前に、Cognitech と議論したこともあります。Cloud Haskell と Liquid Haskell/Agda の使用を期待していたため、Clojure ではなく Haskell を選択しました。今思えば、すべてを ClojureScript で記述していたら素晴らしい旅だったでしょう…
— チャールズ・ホスキンソン (@IOHK_Charles) 2024年5月30日
ホスキンソン氏は、カルダノ財団のテクニカルディレクターであるクトールズ氏とのX会話の中でこのことを明らかにした。両者とも、さまざまなプログラミング言語に関する知識を持ち、特にClojureが方言であるLispに特別な関心を持っていることが示された。
当初は Clojure に興味があったものの、Hoskinson 氏は、Cloud Haskell と Liquid Haskell/agda の使用を期待したため、Clojure ではなく Haskell を選択したと明かしました。Cloud Haskell は、ブロックチェーン プラットフォームのニーズによく合った分散コンピューティング フレームワークを提供し、Liquid Haskell と Agda は形式検証とコードの正確性を保証する高度な機能を提供します。
ホスキンソン氏は、振り返って、もしCardanoがClojureで構築されていたらどうなっていただろうと振り返ります。彼は、クライアント側の開発にはClojureScript、仕様とテストにはClojureSpecを利用して、完全にClojureで構築されたCardanoを想像しています。
カード
ホスキンソン氏の回想は後悔に満ちているのではなく、どうなっていたかという思慮深い考察に満ちている。このルートは「素晴らしい旅」だったかもしれないと彼は思いを巡らせている。
「振り返ってみると、ClojureScript と ClojureSpec を使用して Cardano ですべてを記述するのは素晴らしい旅だったでしょう」とホスキンソン氏は述べた。