Purely functional programming language