Cardano 創始人向 Elon Musk、Jack Dorsey 炫耀 Cardano 的 Haskell 編程語言

卡爾達諾創始人 查爾斯·霍斯金森 最近與特斯拉首席執行官埃隆馬斯克和傑克多爾西就編程語言進行了 Twitter 討論。 一位特斯拉粉絲禮貌地要求埃隆馬斯克在特斯拉應用程序中添加軟件註釋。 Elon Musk 在回复 Twitter 用戶時提到了他對現代 C++ 的厭惡，但他對簡單 C 的熱愛，前 Twitter 首席執行官 Jack Dorsey 對此表示贊同。

等你們發現haskell

- Charles Hoskinson（@IOHK_Charles） 2022 年 6 月 2 日

查爾斯·霍斯金森（Charles Hoskinson）參與了“等到你們發現 Haskell”的線程。 Cardano 的智能合約編程語言基於 Haskell，Marlowe 也是金融智能合約的特定領域語言。 Cardano 是在 Haskell 中為其鏈下和鏈上代碼開發的。 另一方面，Haskell 並不是使用最廣泛的編程語言之一。

卡爾達諾說為什麼選擇 Haskell

卡達諾另一方面，選擇 Haskell 是因為它相信 Cardano 的 Plutus 和 Marlowe 智能合約可以用一種精確的、正式驗證的語言來仔細實施，從一開始就提供高度的確定性。 這是在區塊鍊和智能合約語言上產生的漏洞、代碼故障或智能合約漏洞利用導致災難性後果和重大財務損失（通常為數十億美元）之後發生的。

所以主要的批評是，當數百萬用戶面臨數十億美元的風險並且成千上萬的企業依靠基礎設施維持生計時，卡爾達諾謹慎地編寫軟件？ 我很想看到這些人建一所醫院。 https://t.co/xjAmF7HPiu

- Charles Hoskinson（@IOHK_Charles） 2022 年 6 月 2 日

在另一個 鳴叫，霍斯金森在索拉納最近的中斷之後為卡爾達諾的有條不紊的方法進行了辯護，他問道：“所以主要的批評是，當數百萬用戶面臨數十億美元的風險並且成千上萬的企業依賴基礎設施維持生計時，卡爾達諾小心翼翼地編寫軟件？ ”

卡爾達諾緩慢而穩定的方法經常受到一些希望立竿見影的市​​場觀察家和投資者的批評。

Cardano 及其 Plutus 智能合約平台將通過定於 XNUMX 月底舉行的 Vasil Hard Fork 組合活動進行升級。