The perfect programming language