普利拓斯（卡尔达诺）
什么是普利拓斯（卡尔达诺）？
Plutus 是卡尔达诺最重要的组件之一，它支持在卡尔达诺上创建智能合约和去中心化应用程序（dApp）。
智能合约是自动化合约，可用于以透明的方式交换金钱、财产、股票或任何有价值的东西，同时避免中间人的服务。
Plutus 是一种高级编程语言，允许开发人员以函数式方式在 Cardano 上编写智能合约。它基于 Haskell，提供一流的安全性和高性能的独特组合。
开发人员将能够使用 Plutus 和 Haskell 创建 dApp（去中心化应用程序），然后安全高效地在区块链上运行它们。
Plutus 的诞生源于人们对拥有一种清晰、直观和一致的语言在卡尔达诺上编写智能合约的渴望。它是专门为与区块链交互而设计的。它基于 Haskell，Haskell 是一种通用函数式编程语言，已经存在了几十年，并在工业界和学术界广泛使用。它是一种静态类型的纯函数式语言，具有强大的类型系统。
Plutus 程序在两种不同的环境中运行：
第一个是区块链节点，当你的金融合约被想要使用它的人提交时，它就会在其中运行；
另一台是您的台式计算机，您可以在提交之前在本地编写和测试合同。
合约除了其绑定变量的值之外没有任何状态。它可以向账本读取和写入数据，但不能在本地存储任何信息。根据输入的变化来改变合约结果的唯一方法是通过递归，因为 Haskell 中没有循环或变量。
每个绑定变量的值出现在交易的输出中；此外，合约可以返回事件列表以记录在区块链的事件日志中。
合约不允许与区块链之外的外部资源交互，因此它们比传统的智能合约更容易验证和推理。
事实上，Haskell 长期以来一直用于编写关键的金融软件，如巴克莱交易平台和彭博终端。
Haskell 如此适合金融编程的原因是它允许您以有原则的方式用小组件构建大型系统。例如，Plutus 合约是用 Haskell 的子集编写的——该子集功能纯且没有副作用。这意味着您可以确定，如果您为合约提供相同的输入数据，它将始终产生相同的输出。
