Haskell --- 纯函数编程语言

版权声明：学习交流为主，未经博主同意禁止转载，禁止用于商用。 https://blog.csdn.net/u012965373/article/details/82833987

1. Haskell是一种纯函数式编程语言（Purely Functional Programming Language)。

2. 在函数式编程语言中，变量一旦赋值，就不能改变了，你已经声明了a式5，就不能改遍主意。

3. 在纯函数式编程语言中，函数没有任何的副作用。函数式编程语言中的函数能做的唯一一件事情，就是求值并且返回结果。一开始可能觉得这样子会受到限制，然而好处也正源于此；若以相同的参数调用同以函数两次，得到的结果总是相同的。这被称作引用透明性。

4. Haskell 是惰性 (lazy) 的。也就是说若非特殊指明，函数在真正需要结果以前不会被求值。再加上引用透明，你就可以把程序仅看作是数据的一系列变形。如此一来就有了很多有趣的特性，如无限长度的数据结构。假设你有一个 List: xs = [1,2,3,4,5,6,7,8]，还有一个函数 doubleMe，它可以将一个 List 中的所有元素都乘以二，返回一个新的 List。若是在命令式语言中，把一个 List 乘以 8，运行 doubleMe(doubleMe(doubleMe(xs)))，得遍历三遍 xs 才会得到结果。而在惰性语言中，调用 doubleMe 时并不会立即求值，它会说“嗯嗯，待会儿再做！”。不过一旦要看结果，第一个 doubleMe 就会对第二个说“给我结果，快！”第二个 doubleMe 就会把同样的话传给第三个 doubleMe，第三个 doubleMe 只能将 1 乘以 2 得 2 后交给第二个，第二个再乘以 2 得 4 交给第一个，最终得到第一个元素 8。也就是说，这一切只需要遍历一次 list 即可，而且仅在你真正需要结果时才会运行。惰性语言中的计算只是一组初始数据和变换公式。

5. Haskell 是静态类型 (statically typed) 的。当你编译程序时，编译器需要明确哪个是数字，哪个是字符串。这就意味着很大一部分错误都可以在编译时被发现，若试图将一个数字和字符串相加，编译器就会报错。Haskell 拥有一套强大的类型系统，支持自动类型推导 (type inference)。

6. GHC 可以解释运行 Haskell Script （通常是以 .hs 作为结尾），也可以编译。它还有个交互模式，你可以在里面调用 Script 里定义的函数，即时得到结果。