Pure functional programming language