文件名称：overview:智能合约的Clarity语言概述
文件大小：7KB
文件格式：ZIP
更新时间：2024-05-04 00:53:12
清晰度语言 Clarity智能合约语言针对可预测性和安全性进行了优化。 智能合约允许开发人员在区块链上编码基本业务逻辑。 这些合同以开放，可验证和安全的方式执行。 清晰度是一种可判定的语言。 如果您可以肯定地从代码本身知道程序将执行的操作，则可以决定使用一种编程语言。 清楚地说明图灵是不完整的，因为它避免了“图灵复杂性”。 这样可以对给定智能合约的整个调用图进行完整的静态分析。 此外，我们对类型和类型检查器的支持可以消除所有类型的错误，例如意外的强制转换，可重入的错误以及未初始化值的读取。 最后，您可以分析Clarity代码以获取运行时成本和数据使用量。 这使开发人员能够预测给定的Clarity程序将执行什么操作，以及将花费多少。 除了是一种可决定的语言之外，还解释了清晰度。 合同源代码本身由区块链节点发布和执行。 删除任何中间的，已编译的表示形式（例如，用于Solidity的EVM字
【文件预览】：
overview-master
----hello-world.clar(100B)
----README.md(4KB)
----tutorial-hello-world.md(5KB)
----tutorial-counter.md(6KB)
----counter.clar(312B)