模式匹配
概述
模式匹配是Haskell中一种强大的功能，它允许你根据数据的结构来编写函数。通过模式匹配，你可以轻松地处理不同类型的数据，并根据数据的形状来执行不同的操作。
基本概念
什么是模式匹配？
模式匹配是一种根据数据的结构来选择执行不同代码分支的技术。在Haskell中，模式匹配通常用于函数定义中，以便根据输入参数的不同形式来执行不同的操作。
模式匹配的语法
在Haskell中，模式匹配的语法非常直观。你可以在函数定义中使用多个模式，每个模式对应一个可能的输入形式。Haskell会从上到下依次尝试每个模式，直到找到一个匹配的模式。
-- 简单的模式匹配示例
factorial :: Int -> Int
factorial 0 = 1
factorial n = n * factorial (n - 1)
在这个例子中，factorial函数定义了两个模式：
- 当输入为
0时，返回1。 - 当输入为
n时，返回n * factorial (n - 1)。
模式匹配的类型
基本类型匹配
你可以对基本类型（如Int、Char、Bool等）进行模式匹配。
isZero :: Int -> Bool
isZero 0 = True
isZero _ = False
在这个例子中，isZero函数检查输入是否为0，如果是则返回True，否则返回False。
列表匹配
列表是Haskell中常用的数据结构之一。你可以对列表进行模式匹配，以处理不同长度的列表。
sumList :: [Int] -> Int
sumList [] = 0
sumList (x:xs) = x + sumList xs
在这个例子中，sumList函数定义了两个模式：
- 当输入为空列表
[]时，返回0。 - 当输入为非空列表
(x:xs)时，返回x加上sumList xs的结果。
元组匹配
元组是Haskell中另一种常见的数据结构。你可以对元组进行模式匹配，以处理不同数量的元素。
addTuple :: (Int, Int) -> Int
addTuple (x, y) = x + y
在这个例子中，addTuple函数接受一个包含两个Int的元组，并返回它们的和。
代数数据类型匹配
代数数据类型（ADT）是Haskell中一种强大的数据类型，它允许你定义复杂的类型结构。你可以对ADT进行模式匹配，以处理不同构造函数的情况。
data Shape = Circle Float | Rectangle Float Float
area :: Shape -> Float
area (Circle r) = pi * r * r
area (Rectangle w h) = w * h
在这个例子中，Shape是一个代数数据类型，包含两个构造函数：Circle和Rectangle。area函数根据输入的形状类型计算面积。
实践练习
练习1：计算列表的长度
编写一个函数lengthList，它接受一个列表并返回其长度。
lengthList :: [a] -> Int
lengthList [] = 0
lengthList (_:xs) = 1 + lengthList xs
练习2：反转列表
编写一个函数reverseList，它接受一个列表并返回其反转后的列表。
reverseList :: [a] -> [a]
reverseList [] = []
reverseList (x:xs) = reverseList xs ++ [x]
练习3：计算二叉树的节点数
定义一个二叉树数据类型，并编写一个函数countNodes，它接受一个二叉树并返回其节点数。
data Tree a = Leaf | Node a (Tree a) (Tree a)
countNodes :: Tree a -> Int
countNodes Leaf = 0
countNodes (Node _ left right) = 1 + countNodes left + countNodes right
总结
模式匹配是Haskell中一种非常强大的功能，它允许你根据数据的结构来编写函数。通过模式匹配，你可以轻松地处理不同类型的数据，并根据数据的形状来执行不同的操作。掌握模式匹配是学习Haskell的重要一步，它将帮助你编写更简洁、更易读的代码。
下一步
在掌握了模式匹配之后，你可以继续学习Haskell中的其他高级功能，如map、filter、fold等高阶函数，以及Monad、Functor等类型类。这些功能将进一步扩展你的Haskell编程能力。