4、Haskell编程：类型构造与列表操作详解

Haskell编程：类型构造与列表操作详解

1. 类型构造基础

在Haskell中，类型构造是一个核心概念。例如，我们可以定义一个 Person 类型：

data Person = PersonConstructor String Int
-- 或者用更清晰的GADT语法：
data Person where
  PersonConstructor :: String -> Int -> Person

这里， Person 是类型名， PersonConstructor 是数据构造器，它接受一个 String 和一个 Int ，并返回一个类型为 Person 的值。实际上，当我们创建一个 Person 值时，如 john = PersonConstructor "John" 42 ，它会创建一个元组 ("John", 42) :: Person 。

Haskell是静态类型语言，在类型检查阶段，编译器确保函数的输入和输出类型匹配。一旦检查通过，所有类型信息会被擦除，这极大地提高了性能，所以有“如果程序编译通过，它就能正常运行”的说法。

例如，对于函数 showPerson :: Person -> String ：