Get Programming with Haskell-6

目录

1. 3、列表中的通用函数
2. 1. 基础操作
3. 2. 元素处理
4. 3. 高阶函数
5. 4. 特殊构造
6. 5、zip 和 zipWith 的独特价值
7. -- 安全处理不等长列表 names = ["Alice", "Bob"] ages = [25, 30, 35] ghci> zip names ages -- 自动截断 [("Alice",25), ("Bob",30)] 2. **数学运算**： haskell -- 向量点积 dotProduct xs ys = sum (zipWith (*) xs ys) 3. **惰性求值**：支持无限列表： haskell ghci> take 3 (zip [1..] ["a","b","c","d"]) [(1,"a"), (2,"b"), (3,"c")] ```
8. 为何重要？
9. 📎 参考文章

# Lists 列表（list）是函数式编程中**最重要的数据结构**，其核心优势在于它天生具有递归性。一个列表要么是空列表（**`[]`**），要么是一个元素后接另一个列表（**`元素 : 列表`**）。对列表的**拆解**和**构建**是函数式编程众多技术的基石。 拆解列表时，主要关注三个部分： - **头部（head）**：列表的第一个元素 - **尾部（tail）**：除头部外的剩余部分（仍是一个列表） - **末端（****`[]`****）**：空列表，表示递归终止条件 ## 1、列表的结构解析 ### 1、分解列表 列表由head和tail两部分组成  `head` 函数是返回列表的第一个元素，`tail`是返回第一个元素后面的所有元素，如果列表只有一个元素，`tail`则返回空列表`[]`. ### 2、构造列表 构造列表我们需要使用`:` 操作符，这个操作符叫做`cons` ,来源于**Lisp**中的*construct*的缩写，在 Haskell 中，所有列表在底层均由一系列的 **`cons`**** 操作**（即 **`:`** 运算符）构成，而方括号 **`[...]`** 的表示法仅仅是语法糖（一种旨在提升代码可读性的语法特性）。
 值得注意的是，目前你所见到的**字符串**本质上也是语法糖——它们实际上是**字符列表**（用双引号 **`" "`** 表示，而非单引号 **`' '`** 包裹的单个字符）
 需要牢记的是，在 Haskell 中，**列表的所有元素必须为同一类型**。例如，你可以将字符 **`'h'`** 通过 **`cons`** 操作（即 **`:`** 运算符）添加到字符串 **`"ello"`** 的开头，因为： - **`"ello"`** 本质上是一个字符列表（**`[Char]`**） - **`'h'`**（单引号包裹）是一个独立的 **`Char`** 类型字符 ```c++ Prelude> 'h':"ello" "hello" ``` 但你不能将 **`"h"`**（双引号）通过 **`cons`** 操作（**`:`**）拼接到 **`"ello"`** 前面，因为： - **`"h"`** 是一个**单元素的字符列表**（类型为 **`[Char]`**，等价于 **`['h']`**） - **`"ello"`** 中的元素是**独立的字符**（类型为 **`[Char]`**） **当去掉语法糖后，这一限制会变得更加直观**：