当前位置:okx > 快讯 > Cardano 创始人向 Elon Musk、Jack Dorsey 炫耀 Cardano 的 Haskell 编程语言

Cardano 创始人向 Elon Musk、Jack Dorsey 炫耀 Cardano 的 Haskell 编程语言

小易2022-06-05 09:33:14快讯133

Cardano 的智能合约编程语言基于 Haskell

Cardano 创始人Charles Hoskinson最近在 Twitter 上与特斯拉 CEO Elon Musk 和 Jack Dorsey 就编程语言进行了讨论。一位特斯拉粉丝礼貌地要求埃隆马斯克在特斯拉应用程序中添加软件注释。Elon Musk 在回复 Twitter 用户时提到了他对现代 C++ 的厌恶,但他对简单 C 的热爱,前 Twitter 首席执行官 Jack Dorsey 对此表示赞同。


等你们发现haskell


查尔斯·霍斯金森(Charles Hoskinson)参与了提到的线程“等到你们发现 Haskell”。Cardano 的智能合约编程语言基于 Haskell,Marlowe 也是金融智能合约的特定领域语言。Cardano 是在 Haskell 中为其链下和链上代码开发的。另一方面,Haskell 并不是使用最广泛的编程语言之一。


卡尔达诺说为什么选择 Haskell


另一方面,Cardano 选择 Haskell 是因为它相信 Cardano 的 Plutus 和 Marlowe 智能合约可以用一种精确的、正式验证的语言仔细实施,从一开始就提供高水平的确定性这是在区块链和智能合约语言上产生的漏洞、代码故障或智能合约漏洞利用导致灾难性后果和重大财务损失(通常为数十亿美元)之后发生的。


因此,主要的批评是,当数百万用户面临数十亿美元的风险并且成千上万的企业依靠基础设施维持生计时,卡尔达诺谨慎地编写软件?我很想看到这些人建一所医院。

在另一条推文中,霍斯金森在 Solana 最近的中断之后为卡尔达诺的有条不紊的方法进行了辩护,并问道:“因此,主要的批评是,当数百万用户和成千上万的企业依赖基础设施来维持数十亿美元的风险时,卡尔达诺小心翼翼地编写软件。他们的生计?”


卡尔达诺缓慢而稳定的方法经常受到一些希望立竿见影的市场观察家和投资者的批评。


Cardano 及其 Plutus 智能合约平台将通过定于 6 月底举行的 Vasil Hard Fork 组合活动进行升级。


发表评论

访客

◎欢迎参与讨论,请在这里发表您的看法和观点。