An advanced, purely functional programming language