Haskell 类型系统：type 与 data 声明

Haskell 的类型系统以其严谨和强大著称。在编写代码时，区分 type 和 data 是构建清晰、安全程序的第一步。前者用于为现有类型起别名，后者用于创造全新的数据结构。掌握这两者的使用场景与区别，能让你在代码重构与类型安全之间找到完美的平衡点。

1. 使用 type 声明类型别名

type 关键字用于创建类型别名。它仅仅是给现有类型贴了一个新标签，编译器在处理时会将其视为原类型。当你觉得 [Char] 写起来太繁琐，或者 String -> String -> Bool 不够直观时，使用 type 来提升代码可读性。

1.1 定义简单别名

假设你需要处理大量的用户名，原类型是 String。

打开 你的编辑器，输入 以下代码：

type Username = String

这行代码告诉编译器：“从今往后，Username 就是 String，String 就是 Username”。

1.2 定义函数类型别名

Haskell 中函数也是类型，尤其是高阶函数的类型签名可能很长。定义 一个别名可以让函数签名更清晰。

输入 以下代码定义一个比较函数的别名：

type Comparator = Int -> Int -> Bool

现在，你可以像使用基本类型一样使用 Comparator。

尝试 定义一个使用该别名的函数：

check :: Comparator
check x y = x > y

在这个例子中，check 的类型签名完全等同于 Int -> Int -> Bool，但 Comparator 让我们一眼就知道这个函数的用途。

1.3 理解其本质：完全互换

记住：type 定义的别名与原类型在任何上下文中都是完全等价的。如果一个函数需要 String，你传入 Username 不会报错；反之亦然。编译器不会区分它们。

-- 定义
type Age = Int

-- 使用
printAge :: Age -> IO ()
printAge a = print a

-- 这行代码是完全合法的，因为 Int 和 Age 是一样的
printAge (20 :: Int)

2. 使用 data 声明代数数据类型

与 type 不同，data 用于创建一个真正的新类型。新类型与旧类型之间不能自动混用。这是 Haskell 类型安全的核心机制，防止你在程序中将“苹果”和“距离”搞混。

2.1 定义基本新类型（Product Type）

假设你要描述一个用户，包含名字和年龄。

编写 以下代码：

data User = User String Int

这里发生了三件事：

1. User 是类型构造器的名称（大写开头）。
2. 等号右边的 User 是数据构造器的名称（通常同名，也可以不同）。
3. String Int 表示该数据构造器包含两个字段。

2.2 构造与使用

创建 一个 User 类型的值必须使用数据构造器：

alice :: User
alice = User "Alice" 25

注意：现在你不能直接把一个 String 传给期望 User 的函数。编译器会报错，因为它们是完全不同的类型。

-- 这是一个错误的例子，无法通过编译
-- let bob = "Bob" :: User

为了获取 User 内部的数据，你需要使用模式匹配。

编写 一个提取函数：

getName :: User -> String
getName (User name _) = name

2.3 定义枚举类型（Sum Type）

data 还可以定义一组可能的值，类似于 C 语言或 Java 中的 Enum（枚举），但更强大。

假设你要定义交通信号灯的状态：

data TrafficLight = Red | Yellow | Green

这里 TrafficLight 类型有且仅有三个值：Red、Yellow 或 Green。它们不携带任何额外数据。

编写 处理函数：

action :: TrafficLight -> String
action Red = "Stop"
action Yellow = "Slow down"
action Green = "Go"

3. 核心区别对比

为了防止混淆，以下表格总结了 type 和 data 在关键维度上的区别。

4. 进阶实操：带有记录语法的 data

当数据结构包含多个字段时，通过位置索引（如 User String Int）容易出错。Haskell 允许 使用 记录语法给字段命名。

重构 上面的 User 定义：

data User = User 
    { userName :: String
    , userAge  :: Int
    } deriving (Show)

这里发生了变化：

1. 花括号 {} 包裹了字段定义。
2. 每个字段都有 name :: Type 的形式。
3. deriving (Show) 让 Haskell 自动生成打印该类型的函数。

4.1 访问字段

记录语法会自动生成访问器函数。

执行 以下代码：

-- 创建值（顺序可变）
alice :: User
alice = User { userName = "Alice", userAge = 25 }

-- 访问字段
nameOnly :: String
nameOnly = userName alice

userName 是一个函数，类型是 User -> String。

4.2 更新字段

Haskell 中的数据是不可变的，但可以 创建 一个基于旧值修改部分字段的新值。

输入 更新代码：

birthday :: User -> User
birthday u = u { userAge = userAge u + 1 }

这行代码复制了 u 的所有字段，并将 userAge 加 1，返回一个新的 User。

5. 实战演练：综合运用

结合以上知识，我们将 构建 一个简单的库存管理系统模型。

1. 使用 type 为基础类型起别名，增加语义清晰度。
2. 使用 data 创建核心业务数据结构。
3. 使用 data 枚举定义商品状态。

-- 1. 定义基础别名
type Price = Double
type Quantity = Int

-- 2. 定义商品状态（枚举）
data StockStatus = InStock | OutOfStock | Backorder deriving (Show)

-- 3. 定义商品结构（记录语法）
data Product = Product
    { productId   :: String
    , productName :: String
    , productPrice :: Price
    , productQty  :: Quantity
    } deriving (Show)

-- 4. 业务逻辑：检查状态
checkStatus :: Product -> StockStatus
checkStatus p
    | productQty p > 0  = InStock
    | productQty p == 0 = OutOfStock
    | otherwise         = Backorder

-- 5. 业务逻辑：调整价格
applyDiscount :: Price -> Product -> Product
applyDiscount rate p = p { productPrice = productPrice p * (1 - rate) }

测试 上述逻辑：

1. 创建 一个商品对象。
2. 调用 checkStatus。
3. 调用 applyDiscount 并打印结果。

main :: IO ()
main = do
    let widget = Product "W001" "Super Widget" 100.0 5
    print (checkStatus widget)
    let discountedWidget = applyDiscount 0.1 widget
    print discountedWidget

运行这段代码，你将看到状态的输出以及价格变动后的新商品对象。这个过程展示了 type 如何让 Double 和 Int 具备业务含义，以及 data 如何封装状态和行为，确保外部无法非法修改内部数据。