Language & Types#
Language & Types groups related pages inside Develop. Language & Types pages collected in one staged branch.
The table links to the next useful page or sub-hub, keeping the sidebar staged instead of fully expanded.
Map#
| Page | What you'll find |
|---|---|
| Templates | One issue with embedding constants directly in contracts is that it prevents effective optimization through caching. |
| Intro | This section describes the typed abstract syntax of the ErgoTree language, which is used to define logical propositions protecting boxes in the Ergo blockchain. |
| Language | ErgoTree language syntax and expression model. |
| Types | ErgoTree type system reference. |
| Typing | Typing rules for ErgoTree expressions. |
| Functions | ErgoTree functions and operation reference. |