22、Haskell 中的向量存储与 RAG 实现及箭头抽象

Haskell 中的向量存储与 RAG 实现及箭头抽象

1. 类型应用与向量存储初始化

在调用 findAll 方法时，我们使用 findAll @RAGData 这种语法。若仅写 findAll 让 Haskell 从上下文推断结果类型，会导致编译器报错。所以，我们需通过 @<TypeName> 语法告知 findAll 为 MongoCollection 类中的 “a” 类型变量设置何种类型。要使用此功能，还需启用 {-# LANGUAGE TypeApplications #-} 扩展。

使用 TypeApplications 扩展，可通过 func @<TypeName> 语法为多态函数显式指定实例化类型。即便上下文看似有足够信息推断 RAGData 替换，但有时并非如此，且写 findAll @<MyDataType> 更简洁易维护，能明确结果类型。

接下来是向量存储的初始化。在准备好 MongoDB 层后，需对全局应用状态进行调整，使其包含内存存储：

data AppState = AppState {
    httpManager :: Manager,
    currentModelId :: Text,
    cu