类型
Haskell 是一种静态类型编程语言，但在您目前看到的示例中，它看起来肯定不像静态类型语言。您的所有变量和函数根本没有引用类型。这是因为 Haskell 大量使用类型推断。 Haskell 编译器很智能，可以根据函数和变量的使用方式判断出您正在使用的类型。
一、type 关键字： 作用：type 关键字用于为已有类型创建别名，使得代码更易读和更具可读性。
语法：其语法为 type NewType = ExistingType，其中 NewType 是新类型的名称，ExistingType 是已有类型的名称。
用途：通常用于创建类型别名，提高代码的可读性和抽象级别。例如，将 String 类型重命名为 Name 可以使得代码更易读。
示例：
type Name = String
type Age = Int二、data 关键字： 作用：data 关键字用于定义新的代数数据类型（Algebraic Data Types），包括枚举类型、记录类型和递归类型等。
语法：其语法为 data DataType = Constructor1 | Constructor2 …，其中 DataType 是新类型的名称，Constructor1、Constructor2 等是构造函数，可以是不带参数的标签也可以是带参数的构造函数。
用途：data 关键字用于定义新的复合数据类型，可以是枚举类型（如 Color）、记录类型（如 Person）或递归类型（如 Tree）。这些数据类型可以帮助我们更好地组织和表示数据，提高代码的可维护性和可读性。
示例：
data Color = Red | Green | Blue
data Person = Person String Int
data Tree a = Leaf a | Node (Tree a) (Tree a)
递归类型（Recursive Types）在 Haskell 中是一种非常强大且常见的数据类型。递归类型指的是类型定义中包含对自身的引用，从而创建了无限递归的结构。这种结构允许我们定义具有任意深度的数据结构，例如列表、树等。
三、递归data 在 Haskell 中，递归类型通常使用 data 关键字来定义。一个经典的例子是列表类型的定义：
data List a = Empty | Cons a (List a)这里 List a 是一个递归类型，它要么是空列表 Empty，要么是由一个元素和另一个列表构成的列表 Cons a (List a)。这种定义允许我们创建任意长度的列表，因为它们可以无限地嵌套。
另一个常见的例子是二叉树的定义：
data Tree a = EmptyTree | Node a (Tree a) (Tree a)
这里 Tree a 也是一个递归类型，它要么是空树 EmptyTree，要么是由一个值和两棵子树构成的树 Node a (Tree a) (Tree a)。这种定义允许我们创建任意复杂的二叉树结构，因为树的节点可以有任意数量的子节点。
递归类型的优点是它们允许我们以一种简洁而灵活的方式表示复杂的数据结构。但是，使用递归类型时需要小心处理递归的边界条件，以避免无限递归的情况发生。
在实际编程中，递归类型通常用于表示树、列表、图以及其他具有递归结构的数据类型。通过合理地利用递归类型，我们可以编写更清晰、更易于理解的代码，从而提高代码的可维护性和可读性。
四、IO type 在 Haskell 中，IO（Input/Output）是一种特殊的数据类型，用于表示执行 I/O 操作的计算。I/O 操作包括从文件中读取数据、向文件中写入数据、与用户交互、网络通信等。
IO 类型的值代表了一种可能产生副作用（如读写文件、输出到终端等）的计算。在 Haskell 中，由于纯函数式编程的特性，函数的执行结果是完全由输入参数决定的，不会受到外部状态的影响。但是，当需要进行 I/O 操作时，就必须引入 IO 类型，这样的计算可能会改变程序的状态，因此不能直接作为纯函数进行求值。
以下是 IO 的一些特点和用法：
特点：
IO 类型的值本身并不包含实际的数据，而是表示一种执行 I/O 操作的计算。 IO 操作是按照顺序执行的，每个操作的执行依赖于前一个操作的结果。 Haskell 中的 I/O 操作是惰性的，只有在需要时才会执行。 用法：
IO 类型的值可以通过 do 表达式来组合多个 I/O 操作，形成一个连续执行的操作序列。 通过 return 函数可以将普通的值包装成 IO 类型的值。 getLine、putStrLn 等函数用于执行标准输入输出操作。 下面是一个简单的例子，演示了如何使用 IO 类型执行标准输入输出操作：
main :: IO () main = do putStrLn “What’s your name?” name <- getLine putStrLn $ “Hello, ” ++ name ++ ”!” 常用的 IO 函数： putStrLn：用于将字符串输出到标准输出。
putStrLn :: String -> IO () getLine：用于从标准输入读取一行字符串。
getLine :: IO String readFile：用于从文件中读取内容并返回字符串。
readFile :: FilePath -> IO String writeFile：用于将字符串写入到文件中。
writeFile :: FilePath -> String -> IO () print：用于将值转换为字符串并输出到标准输出。
print :: Show a => a -> IO () return：用于将纯值包装为 IO 类型的值。
return :: a -> IO a