A new purely functional programming language