An advanced purely-functional programming language