接著上一篇:基本介紹, 本節介紹Move的語法,同時從語法我們可以看出Move在安全方面的考慮。
白皮書使用了一種半形式化(semi-formal)的描述語言進行了描敘。至於這套描述語言,主要符號解釋如下(如有不準確,請告知):
- =: 定義
- ::= : 賦值
- ?: 映射
- ×: product type,也就是表示結構體
- ∈: 表示屬於某個類型或者集合中的一個元素
通過這些符號,Move定義瞭如下的語法類型:
Global state: 地址到賬戶的map,賬戶由Resource和Module構成。形式化定義如下: