什么是 Marlowe?
免费的空投第7季上线了！回答有趣的问题或做简单的任务，在 $ 30K Bitdegree奖品池中获得奖励奖励。 立刻参与 ! 🔥
让我们找出 Marlowe 的含义、加密货币中的定义、什么是 Marlowe 以及所有其他详细事实。
Marlowe 是一种易于使用的编程语言，由 Input-Output Hong Kong (IOHK) 开发，该公司是 Cardano 背后的开发和区块链研究公司。Marlowe 用于衍生品、贷款和其他协议等金融合同。
Marlowe 是一种既简单又强大的金融建模工具。它的语法已尽可能基本，以便程序员和非程序员都可以使用它。它在沙箱环境中运行，允许任何类型的开发人员创建智能合约。
Marlowe 是 IOHK 尝试将正式方法引入智能合约开发的一部分，但它与早期方法的不同之处在于它专门针对金融应用。为了做到这一点，它的创建者研究了金融理论，特别是诺贝尔奖获得者肯尼思·阿罗的工作，他开创了支撑现代金融的许多数学思维。
这产生了一组基于现实世界金融概念（如时间和金钱）的内置抽象，而不是其他编程语言中存在的更通用的概念（如列表、函数和变量）。
马洛建立在伊莎贝尔定理证明者定义的金融契约理论的基础上。因此，Marlowe 具有一些与其他合约语言不同的功能。这些功能包括：
- 正式验证合同属性的能力。
- 推理合同价值预期的能力。
此外，目前Marlowe 合约只能在卡尔达诺区块链上进行。用户可以在 Playground 上实时测试它，这使得他们无需事先了解区块链或智能合约即可建模和执行合约。
然而，请注意，尽管 Marlowe 目前将在卡尔达诺上运行，但它不仅仅是卡尔达诺独有的。未来可以使用 Marlowe 在不同的区块链上构建智能合约。
Marlowe 可用于多种流程。主要有以下几种：
- 模拟涉及金融或保险的业务流程
- 定义决策过程的游戏和协议
- 金融市场建模
- 构建交互式金融合约
- 探索博弈论中的想法