Solidity语法的设计目标是什么

Question

在语法上是否接近另一种语言？ （Java，JavaScript，JSON）。

表达合同容易吗？

（当然有很多限制，我在寻找“目标”）

Answer 1

根据2014年8月29日cpp-ethereum Wiki上的加文·伍德（Gavin Wood）的描述。以下是目标

• 静态输入；
• 作为一流实体合同；
• 作为合同的一部分，能够将信息映射和分段到存储中；
• 不变式，前提条件和后置条件作为合同的一部分；
• 具有命名组件的变量返回值；
• 安全的语言子集，可确保进行静态分析和证明；
• 一个内置的测试生成和执行环境，用于无法进行正式证明的情况。

Reference