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