A robust, optimal, and maintainable programming language
