Ergo 1.0 Goals and Feature List

[jeromesimeon]

This issue tracks requirements and objectives for Ergo release 1.0. It links to corresponding issues for discussion.

Language Features (with the 1.0-feature label):

• Modularity and Full Contract Support
• How to invoke clauses Syntax for invoking clauses and alignment with terminology in CLI&API #710
• Syntaxes revisions
• Generalized Support for Errors and State
• Standard Library revisions

Typing & Model (with the 1.0-typing label):

• Base types revisions Revision to the Base AP model #698
• User experience and type errors (Handling of None/Any types)

Compiler (with the 1.0-compiler label):

• API to compiler
• Allow different compilation levels (e.g., typing only for editing, full compilation)
• Switch to new JavaScript backend, and improved JS runtime ✅
• Deprecate ES5 target ✅

Build & Distribution (with the 1.0-build label):

• Switch to dune build tool ✅
• Lightweight ergo-engine package (without compiler dependencies)
• ErgoC deploy after build from source Ergo/ergoc version mismatch? #305
• Add eval to testing

Code Quality & Testing (with the 1.0-QA label):

• Code review/cleanup/comments
• Consolidate context There are lots of contexts; possibly merge some in the future? Kind of confusing right now. #311