ソフトウェア開発の強力な背景を持つ経験豊富な仮想通貨投資家として、私は、Cardanoブロックチェーンプラットフォームの構築にClojureではなくHaskellを使用するという決定についてのチャールズ・ホスキンソン氏の最近の暴露に興味をそそられずにはいられません。
最近、Cardano の創設者である Charles Hoskinson 氏が興味深い詳細を明らかにしました。彼はプログラミング言語として Clojure を使用して Cardano ブロックチェーン プラットフォームをほぼ構築していました。 Cardano の歴史におけるこの重要な意思決定ポイントにより、プロジェクトには Clojure ではなく Haskell が選ばれました。
プログラミング言語における重要な決定
Cardano Foundation の Ktorz と X を探索する中で、私は Lisp の動的で機能的な方言である Clojure に対する最初の魅力を共有しました。それにもかかわらず、私は Cloud Haskell の領域における利点と、Liquid Haskell と Agda の独特の機能により、Clojure ではなく Haskell を選択しました。
仮想通貨投資家として過去の決断を振り返ると、私はもう少しで Clojure を使用した Cardano の構築に着手するところでした。実際、私たちは何年も前にコグニテックとこの可能性について話し合いました。しかし、私は最終的に 2 つの理由から Haskell を選択しました。Cloud Haskell の魅力と、Liquid Haskell/Agda の活用への期待です。
— Charles Hoskinson (@IOHK_Charles) 2024 年 5 月 30 日
Cloud Haskell の分散コンピューティング フレームワークの互換性は、ブロックチェーン アプリケーションにとって優れています。さらに、Liquid Haskell と Agda は、形式的な検証のための高度な機能を提供し、コードの正確性を保証します。
「ClojureScript と ClojureSpec を使用して Cardano のあらゆる側面を記述するスリルを想像してみてください。」
- PORT3 予想・見通し・の予想. PORT3 暗号通貨
- XAI 予想・見通し・の予想. XAI 暗号通貨
- UNI 予想・見通し・の予想. UNI 暗号通貨
- クリスティン・マクギネス、夫パディとの別居後、『ルーズ・ウィメン』で「新しくてエキサイティングな」相手と付き合っていることを明かすが、交際には厳しい「条件」がある
- Uniswap で 94 億ドルの ATH を獲得し、大記録達成に向けて順調に進んでいます
- 「寂しくなるよ」：クリント・イーストウッドの娘、父のパートナー、クリスティーナ・サンデラの死を悼む
- 農場ホールのレビュー：英国のカントリーハウスで監視、ナチス・オッペンハイマーの爆発的な列
- FSN 予想・見通し・の予想. FSN 暗号通貨
- サマンサ・アーミーテージジが『ファーマー・ウォンツ・ア・ワイフ』の司会を務めた後、チャンネルセブンを辞めた本当の理由
- ウィル・ヤング、バッキンガム宮殿での女王との昼食中のありそうもない経験を振り返る
2024-05-30 19:48