A new programming language in the works