列表操作和函数

在 Haskell 中，列表是一种非常常见的数据结构，用于存储一系列相同类型的元素。列表操作和函数是 Haskell 编程中的核心概念之一。本教程将详细介绍如何操作列表以及如何使用函数来处理列表。

1. 列表基础

1.1 列表的定义

在 Haskell 中，列表是由方括号 [] 包围的一组元素，元素之间用逗号分隔。例如：

numbers = [1, 2, 3, 4, 5]
letters = ['a', 'b', 'c', 'd']

1.2 列表的类型

列表中的所有元素必须是相同类型的。例如，[1, 2, 3] 是一个整数列表，类型为 [Int]；['a', 'b', 'c'] 是一个字符列表，类型为 [Char]。

1.3 空列表

空列表表示为 []，其类型为 [a]，其中 a 是任意类型。

2. 列表操作

2.1 列表拼接

可以使用 ++ 运算符将两个列表拼接在一起：

concatenated = [1, 2, 3] ++ [4, 5, 6]  -- 结果为 [1, 2, 3, 4, 5, 6]

2.2 列表插入

可以使用 : 运算符将一个元素插入到列表的开头：

prepended = 0 : [1, 2, 3]  -- 结果为 [0, 1, 2, 3]

2.3 列表索引

可以使用 !! 运算符访问列表中的特定元素：

element = [1, 2, 3] !! 1  -- 结果为 2

注意：索引从 0 开始。

2.4 列表长度

可以使用 length 函数获取列表的长度：

length [1, 2, 3]  -- 结果为 3

3. 列表函数

3.1 map 函数

map 函数用于将一个函数应用到列表的每个元素上，并返回一个新的列表。

map (+1) [1, 2, 3]  -- 结果为 [2, 3, 4]

3.2 filter 函数

filter 函数用于根据一个谓词（即返回布尔值的函数）过滤列表中的元素。

filter even [1, 2, 3, 4]  -- 结果为 [2, 4]

3.3 fold 函数

fold 函数用于将一个二元函数应用到列表的所有元素上，从而将列表“折叠”成一个单一的值。常用的 fold 函数有 foldl 和 foldr。

foldl (+) 0 [1, 2, 3]  -- 结果为 6
foldr (+) 0 [1, 2, 3]  -- 结果为 6

3.4 zip 函数

zip 函数用于将两个列表“压缩”成一个元组列表。

zip [1, 2, 3] ['a', 'b', 'c']  -- 结果为 [(1, 'a'), (2, 'b'), (3, 'c')]

4. 列表推导

列表推导是一种简洁的方式来生成列表。它类似于数学中的集合生成式。

squares = [x^2 | x <- [1..5]]  -- 结果为 [1, 4, 9, 16, 25]

列表推导还可以包含条件：

evens = [x | x <- [1..10], even x]  -- 结果为 [2, 4, 6, 8, 10]

5. 实践练习

5.1 练习 1：计算列表中所有偶数的平方和

编写一个函数 sumOfEvenSquares，它接受一个整数列表，并返回列表中所有偶数的平方和。

sumOfEvenSquares :: [Int] -> Int
sumOfEvenSquares xs = sum [x^2 | x <- xs, even x]

5.2 练习 2：过滤出长度大于 3 的字符串

编写一个函数 longStrings，它接受一个字符串列表，并返回所有长度大于 3 的字符串。

longStrings :: [String] -> [String]
longStrings xs = filter (\x -> length x > 3) xs

5.3 练习 3：使用 fold 实现 map

编写一个函数 myMap，它使用 fold 实现与 map 相同的功能。

myMap :: (a -> b) -> [a] -> [b]
myMap f xs = foldr (\x acc -> f x : acc) [] xs

6. 总结

本教程介绍了 Haskell 中列表的基本操作和常用函数，包括列表拼接、插入、索引、长度、map、filter、fold、zip 以及列表推导。通过实践练习，你可以更好地理解和掌握这些概念。继续探索 Haskell 的更多功能，你会发现它是一个强大且优雅的编程语言。