- Provide a clean and compact language to write smart contracts
- Security by design, Simplicity by design
- Easily understandable
- Compiles into readable Solidity Code
- Provide Macros as a Standard Library
- Representation as a Deterministic Finite Automaton
- Imperative Programming is "unsafe" in the smart contract space
- Functional Programming is "hard"
- State Machines are sufficient in representing common problems in smart contracts
- Formal Validation is easier
- Securing State Machines against problems like Reentrancy is easy
At the moment, Statra is still an Work-In-Progress Language Specification.
Once the Specification is fleshed out, work on the compiler can begin. As a goal, the compiler should produce human-readable solidity code, optionally EVM code.
After finishing the compiler, focus goes to creating a standard macro Library and IDE support/integration.
Compiler Specification (TBD)
Macro Standard Library (TBD)
IDE Integration (TBD)