5.4 程序

5.4 程序

本章节描述了 Reach 程序的结构和内容，包括其语法形式、标准库和有效程序的标准。

本节的剩余部分依照 Reach 程序的不同部分构建章节，如下所示：

•有效性描述了 Reach 中有效的含义。

•模块描述 Reach 模块的顶层结构。

•步骤描述 Reach 步骤的结构。

•本地步骤描述 Reach 本地步骤的结构。

•共识步骤描述 Reach 共识步骤的结构。

•计算描述了 Reach 计算的通用结构，这些通用结构由所有场景共享。

图17显示了 Reach 应用程序模式之间的关系。

图17: Reach 应用程序的节点