判断是不是纯函数式编程语言，是看他是否提供了真正意义的变量就可以是吗？以前接触过clojure，它虽然也有变量的概念，但此处的变量是不可变的，值改变变量需要销毁重建，所以clojure是纯函数式编程语言~是这样理解吗？