Finally, a good programming language