A new programming language design