5.4 Programs

This document describes the structure and content of Reach programs, including their syntactic forms, the standard library, and the standards of valid programs.

Get language support for Reach in your editor by visiting IDE/Text Editor Support.

The rest of this section is structured according to the contexts of the different parts of a Reach program, as follows:

• Validity describes what is meant by the term valid in Reach.

• Modules describes the top-level structure of Reach module.

• Application Initialization describes the structure of Reach application initialization.

• Steps describes the structure of Reach steps.

• Local Steps describes the structure of Reach local steps.

• Consensus Steps describes the structure of Reach consensus steps.

• Computations describes the common structure of Reach computations shared by all contexts.

Figure 17 shows the relationship between the modes of a Reach application.

Figure 17: The modes of a Reach application