General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
- Robust - behavior is correct even for edge cases such as out of memory.
- Optimal - write programs the best way they can behave and perform.
- Reusable - the same code works in many environments which have different constraints.
- Maintainable - precisely communicate intent to the compiler and other programmers.
The language imposes a low overhead to reading code and is resilient to changing requirements and environments.