21、Haskell编程：向量、ST 单子与向量RAG技术解析

Haskell编程：向量、ST 单子与向量RAG技术解析

1. Haskell中的类型和数据族

在Haskell里，类型和数据族并非复杂概念。从类型理论角度看，独立的类型和数据族可视为一种类型级别的函数，可能还依赖于值；而关联族则类似类型类，属于sigma数据类型。尽管其命名和实现语义有些令人困惑，但只要进行一些实践，它们就会像类型类一样自然。

2. Haskell中的向量

在Haskell中，向量是对数组问题的一种解决方案。列表虽然常见，但性能不佳。在处理数值数据时，我们通常希望有更高的性能，有时还需要可变数组，比如在数据库相关任务中。

2.1 盒装向量与非盒装向量

“vector”库的核心在于区分盒装向量和非盒装向量，这对于理解向量如何实现高效性以及为应用选择合适的向量类型至关重要。
| 向量类型 | 特点 | 适用场景 | 缺点 |
| ---- | ---- | ---- | ---- |
| 盒装向量 | 类似于Haskell的列表，但经过性能优化。每个元素是对值的引用，支持异构数据类型和惰性求值。 | 存储复杂数据结构 | 存储基本数据类型（如数字）时效率不高 |
| 非盒装向量 | 元素在内存中连续存储，无间接引用。对基本类型在时间和空间上都更高效，能更好利用CPU缓存，减少垃圾回收开销。 | 处理大量数值数据 | 仅支持实现了 Unbox 类型类的类型，限制为固定的基本数据类型 |

2.2 内部实现与通用接口

向量库的内部实现经过精细调整，以平衡灵活性和性能。它利用Haskell强大的类型系统和GHC扩展