22、Haskell编程语言基础与特性探索

Haskell编程语言基础与特性探索

1. 基础语法

1.1 核心语言与基本类型

Haskell 的核心语言十分精简，它依靠函数组合来实现控制流，无需复杂语法的语句。其基本类型仅有六种：
- Bool ：包含 True 和 False 两个实例。
- Int ：有界整数类型。
- Integer ：无界整数类型。
- Float ：单精度浮点数类型。
- Double ：双精度浮点数类型。
- Char ：包含所有 Unicode 字符。

同时，Haskell 提供了三种定义新类型的机制：
- 元组（Tuples） ： (T1, T2, ... Tn) 是 Haskell 的积类型。例如，值 (7, "abc") 的类型为 (Float, String) 。元组类型可以有任意数量的组成类型，甚至可以为零。空元组类型 () 被称为单位类型，它只有一个实例，即 () 。
- 函数（Functions） ： T1 → T2 表示从 T1 到 T2 的函数类型