本系列文档翻译版权归FireStack团队所有，转载请注明来源。
Scilla合约架构
Scilla合约的一般结构如下代码所示。开头是引用纯数学函数的library的声明，例如计算两个比特数据的AND 布尔值，或计算某个自然数的阶乘。在库声明代码块后面，是使用contract声明的合约内容。合约有三个部分，第一部分声明合约的不可变参数，第二部分声明可变字段，第三部分为所有transition定义。
(* Scilla contract structure *)
(***************************************************)
(* Associated library *)
(***************************************************)
library MyContractLib
(* Library code block follows *)
(***************************************************)
(* Contract definition *)
(***************************************************)
contract MyContract
(* Immutable fields declaration *)
(vname_1 : vtype_1,
vname_2 : vtype_2)
(* Mutable fields declaration *)
field vname_1 : vtype_1 = init_val_1
field vname_2 : vtype_2 = init_val_2
(* Transitions *)
(* Transition signature *)
transition firstTransition (param_1 : type_1, param_2 : type_2)
(* Transition body *)
end
transition secondTransition (param_1: type_1)
(* Transition body *)
end
不可变变量
不可变变量，或称为合约参数，在创建合约时就定义了值，并且不能被修改。合约中的不可变变量组需在合约开头的合约名称定义之后声明。
不可变变量声明格式如下：
(vname1 : type1,
vname2 : type2,
... )
每个声明都包含一个变量名（标识符）及其类型，用:分隔。多个变量声明用,分隔。变量的初始值在合约创建时就要指定。
可变变量
可变变量代表着合约的可变状态。它们也被称为字段。它们会在不可变变量之后声明，每个声明都以field为前缀。
field name1 : type1 = expr1
field name2 : type2 = expr2
...
这里的每个表达式都是相应字段的初始值。变量的定义在创建就完成了初始化。随着合约履行transition，这些字段的值会被修改。
转换（Transitions）
Transitions决定了合约状态的变化。这些是使用transition定义的，后面写要传递的名称和参数，以end结尾。
transition foo (name1 : type1, name2 : type2, ...)
...
end
name : type指定参数名和类型，多个参数时用,分隔。除了显式声明的参数之外，还可以使用以下transition隐式参数。
-
_sender : Address：触发此transition的帐户（消息发送人）。 -
_amount : Uint128：入库金额（ZILs）。必须使用accept语句明确接收过程。如果transition没有执行，则不会执行accept。
表达式（Expressions）
表达式处理纯操作。Scilla中支持的表达式是：
-
let x = f in e：在表达式e中给出名称x。 这里e与f的结合是局部的，因此限于e。 下面的示例将表达式builitin add one Int32 5中的one绑定为1，它将5添加到1，因此计算结果为6。let one = 1 in builtin add one Int32 5 -
let x = f：在合约中注明f名称x。xto 的绑定f是全局的，并延伸到合约的末尾。请注意缺失in，这意味着绑定适用于整个合约而不是特定表达式。以下代码片段定义了一个常量，one其值1贯穿整个契约。let one = 1 -
{<entry> _1; <entry> _2 ...}：消息表达式（请参阅下面的Message类型），其中每个条目具有以下形式：b:x。这里b是标识符，x是变量，其值绑定到消息中的标识符。以下代码定义了一个带有四个条目_tag，_recipient，_amount和code的msg。msg = { _tag : "Main"; _recipient : sender; _amount : Uint128 0; code : Uint32 0 }; -
fun (x : T) => e：一个接受x类型输入T并返回表达式e求值的值的函数。 -
tfun T => e：一种类型函数，它T作为参数类型并返回表达式e求值的值。有关Pair示例，请参阅下面的部分 。 -
@x T：x使用类型实例化变量T。 -
f x：应用f上x。 -
builtin f x：应用builtin功能f上x。 -
matchexpression：将绑定变量与模式匹配并执行该子句中的语句。该match表达式类似于matchOCaml中的表达式 。要匹配的模式可以是变量绑定，ADT构造函数（请参阅ADT）或通配符_以匹配任何内容。
match x with
| pattern1 =>
statements ...
| pattern2 =>
statements ...
end
声明（Statements）
Scilla中的声明是实际生效的操作，即这些操作不是纯数学意义上的。此类操作包括从可变智能合约变量读取或向其写入。
-
x <- f：x从可变字段f读取值。 -
f := x：可变字段f的值更新为x。
还可以从区块链状态中读取。区块链状态由与区块相关联的某些值组成，如BLOCKNUMBER。
-
x <- &B：x从区块链状态变量B读取值。
每当通过transition发送ZIL令牌时，转换必须明确接收这笔转账，可通过accept声明完成。
-
accept：接收来款。
通信（Communication）
合约可以通过send声明与其他合约（或非合约）账户进行通信：
-
send ms：发送消息列表ms。
网友评论