⚠️ Cardano 創始人透露了在構建 Cardano 時未採取的路線

在最近的一次披露中，Cardano 創始人 Charles Hoskinson 分享說，他幾乎使用 Clojure 編程語言構建了 Cardano 區塊鏈平臺。

在一次 X 討論中，Cardano 創始人最近分享了導致創建 Cardano 的早期決策過程的精彩一瞥。他透露了一個關鍵時刻：在使用 Clojure（一種動態和功能性的 Lisp 方言）和 Haskell（一種靜態類型的函數式編程語言）之間做出選擇。

然而，最終的決定傾向於 Haskell，受到 Cloud Haskell 的潛力以及利用 Liquid Haskell 和 Agda 的希望的影響。

💬 我幾乎用 Clojure 構建了 Cardano。幾年前我們甚至與 cognitech 討論過這個問題。我選擇 haskell 而不是 clojure 是因爲 cloud haskell 以及使用 liquid haskell/agda 的希望。回想起來，如果用 clojurescript 編寫所有內容，那將是一段奇妙的旅程……——Charles Hoskinson

Hoskinson 在與 Cardano 基金會技術總監 Ktorz 的 X 對話中透露了這一點，因爲他們都展示了對各種編程語言的瞭解，並且對 Lisp 特別感興趣，而 Clojure 是 Lisp 的一種方言。

儘管最初對 Clojure 感興趣，但 Hoskinson 透露，他之所以選擇 Haskell 而不是 Clojure，是因爲 Cloud Haskell 以及希望使用 liquid Haskell/agda。Cloud Haskell 提供了一個分佈式計算框架，可以很好地滿足區塊鏈平臺的需求，而 Liquid Haskell 和 Agda 則提供了用於形式化驗證和確保代碼正確性的高級功能。

回想起來，Hoskinson 回顧瞭如果 Cardano 是用 Clojure 構建的，可能會經歷的旅程。他想象一個完全基於 Clojure 構建的 Cardano，利用 ClojureScript 進行客戶端開發，使用 ClojureSpec 進行規範和測試。

霍斯金森的反思中沒有充滿遺憾，而是對本來可能發生的事情進行了深思熟慮的考慮。他沉思道，這條路線本可以成爲一次“奇妙的旅程”。

$ADA #ADA #Cardano