封面圖片來自www.youtube.com
免責聲明：我們作者表達的觀點僅代表他們自己，不代表U.Today 的觀點。 U.Today 上提供的財務和市場資訊僅供參考。 U.Today 對交易加密貨幣貨幣時產生的任何財務損失概不負責。在做出任何投資決定之前，請聯絡金融專家進行自己的研究。我們相信所有內容在發布之日都是準確的，但提到的某些優惠可能不再可用。
在最近的一次披露中，Cardano 創始人Charles Hoskinson 分享說，他幾乎使用Clojure 程式語言建立了Cardano區塊鏈平台。
在一次X 討論中，Cardano 創辦人最近分享了Cardano 創立初期決策過程的精彩片段。他透露了一個關鍵時刻：選擇使用Clojure（一種動態且功能強大的Lisp 方言）還是Haskell（一種靜態類型的函數式程式語言）。
然而，由於受到Cloud Haskell 的潛力以及利用Liquid Haskell 和Agda 的希望的影響，最終的決定傾向於Haskell。
我差點就用Clojure 建置了Cardano。幾年前我們甚至與cognitech 討論過這個問題。我選擇haskell 而不是clojure 是因為cloud haskell 以及希望使用liquid haskell/agda。
現在回想起來，用clojurescript 寫所有內容將是一次奇妙的旅程…
— Charles Hoskinson（@IOHK_Charles）2024 年5 月30 日
霍斯金森(Hoskinson) 在與卡爾達諾基金會技術總監Ktorz 的X 對話中透露了這一點，兩人都展示了對各種程式語言的了解，並且對Lisp 特別感興趣，而Clojure 是Lisp 的一種方言。
儘管最初對Clojure 感興趣，但Hoskinson 透露，他之所以選擇Haskell 而不是Clojure，是因為Cloud Haskell 以及希望使用liquid Haskell/agda。 Cloud Haskell 提供的分散式運算框架非常符合區塊鏈平台的需求，而Liquid Haskell 和Agda 則提供了形式化驗證和確保程式碼正確性的高級功能。
回想起來，霍斯金森回顧瞭如果Cardano 是用Clojure 建造的，那麼可能會有怎樣的發展。他設想Cardano 完全基於Clojure 構建，利用ClojureScript 進行客戶端開發，並利用ClojureSpec 進行規範和測試。
霍斯金森的反思並非充滿遺憾，而是對本來可以發生的事情進行了深思熟慮。他沉思道，這條路線本來可以成為一趟「奇妙的旅程」。
「回想起來，使用ClojureScript 和ClojureSpec 在Cardano 中編寫所有內容將是一次奇妙的旅程，」Hoskinson 評論說。
0X簡體中文版：Cardano 創辦人透露Cardano 創立過程中未走的路
