函数式语言特点之－不变量

          为什么函数式语言非要强调不变量呢，强调无副作用，全部使用局部变量不就行了么？

          要深究原因，也只需想想它的起源－人工智能中的推理、符号运算，使用事实（符号），得出结论（结果）。事实、或者符号，那就是不变的啊，对应不变量天经地义，使用变量才是灾难。

         函数式语言一诞生，长大了就会脱离母体－符号运算，来征服世界，带着它的胎记－不变量。

        我说不清楚不变量是好是坏，反正有些函数式语言已经有了可变量，比如scala。