A new programming language