Programming language designed for robustness and clarity
