卡尔达诺为金融交易推出智能合约

Marlowe是卡多诺的一种新的智能合约语言，主要针对区块链的金融合约，几天前就被曝光了。该语言由IOHK的研究人员开发，IOHK是区块链Cardano的主要开发者和维护者。
在白皮书中，编程语言被描述为在Haskell中被建模为代数类型，以及可执行的小步骤语义。该语言是针对特定领域的，并希望Marlowe将用于金融行业的托管和结算等事务。在该文件中，还发现可以将用Marlowe编写的合同编译成用以太坊和其他系统编写的智能合同。

 
 
除了Marlowe的发布，IOHK还发布了Meadow，这是一个允许用户在浏览器窗口中可视化和测试不同智能合约代码的工具。 Meadow本身已经用Haskell编写并编译成JavaScript。该工具使用户更容易理解智能合约的运作方式，并允许用户逐块模拟和分析他们的智能合约。
IOHK最近开展的其他改进包括Project Icarus，这是一款轻量级钱包，将作为Cardano钱包参考实现。同时正在开发的是Yoroi，一个轻量级钱包，作为Chrome扩展程序运行。
卡尔达诺似乎在不断进步，随着智能合约的实施，IOHK进一步采取了卡尔达诺。 IOHK首席执行官，卡尔达诺和以太坊联合创始人查尔斯·霍斯金森也看到了未来，并认为卡尔达诺最终将成为一个万亿美元的经济体。
什么是卡尔达诺?
https://input-output-hk.github.io/scdsl/
https://iohk.io/research/papers/#2WHKDRA8
为区块链设计DSL以获得金融合约：Marlowe。
– 在Haskell中定义Marlowe的可执行，小步语义。
– 让Marlowe成为Haskell中的嵌入式DSL。这扩展了语言的可表达性，因为我们可以使用Haskell的所有功能来定义Marlowe合同;我们通过将Marlowe定义为Haskell数据类型来实现这一点。
– 开发Meadow工具，允许用户与Marlowe合约和嵌入式Marlowe合约的操作进行交互并模拟其运作。
许多人一直想知道伊卡洛斯是什么。 Cardano的博客将Icarus称为镀铬扩展，并且是“由IOHK开发的轻量级钱包的参考实现”。