10. Planned features🔗

Everything in this section is liable to change.

1. 10.1. Dynamic type
2. 10.2. Type inference
3. 10.3. Flow based types
4. 10.4. Global variables
5. 10.5. Non-determinism
6. 10.6. Immutable fields
7. 10.7. Reads clauses
8. 10.8. Frozen types
9. 10.9. Enhance support for transparent procedures
10. 10.10. Property-based testing
11. 10.11. Data-flow analysis
12. 10.12. Heap mutation in contracts
13. 10.13. Proof By
14. 10.14. Inference of composite types
15. 10.15. Decreases clauses
16. 10.16. Exception inference