1. Haskell是一种纯函数式语言
- 使用纯函数式语言更加符合数学和逻辑的表达形式
- 使用纯函数式编程有利于编程技术在思想层面的精益求精
- 习惯上使用ALGO系的编程语言（C/C++等）形成了一些固有的思维习惯需要被打破
- 有助于学习数学本身，特别是抽象的纯数学
2. Haskell是一种依赖类型系统的静态强类型语言
- 强迫程序员写出逻辑严密的程序
- 减少由于随意转换类型导致的潜在问题，提高程序的强壮性
3. Haskell分离了外部行为和纯函数程序部分
- Haskell将非纯函数部分集中到IO机制中，并使用do-statement简化了此类程序的设计；如果设计合理的话，可以最小化外部IO的行为，显著提高程序的可预测性
4. 用Haskell干什么
- 数学类算法/程序架构原型研究与开发
- 比如优化算法
- 小型工具快速开发
- 比如文本处理（比较、替换、行分析、词法/语义结构分析和提取）
就想到这些。
