用于数据库抽象的惯用 haskell

Question

在 OOP 语言中，我可能会编写一个数据库包装器，它封装数据库连接、管理模式并提供一些核心操作，例如exec 、 query 、 prepare_and_execute 。 我什至可能有一个单独的数据库助手 class 来处理数据库模式，而数据库抽象仅用于处理连接。 这将被 model 包装器/工厂使用，它们使用数据库抽象 class 创建 model 类的实例。 类似这样的 UML 图：

在惯用的 haskell 中设计这样一个系统的首选方法是什么？

Answer 1

Haskell 中使用最多的数据库抽象库是HDBC 。 这意味着查询被简单地表示为带有占位符的String 。 很少有人使用HaskellDB ，它提供了一种类型安全的方式来构建查询。 没有什么禁止使用用户数据类型来表示常见查询和自定义函数来构建它们。

Haskell 中的值是不可变的，这意味着拥有与数据库中的记录相对应的可变 object 是没有用的。 相反，我认为更常见的是定义用户数据类型和函数，将这些类型的值编组和推入/拉出数据库。

每当需要更新数据库时，它们很可能在IO下的一些有状态 monad 中运行。 例如，这将允许保持连接打开，或者在请求之间做一些事情。

最后，函数首先是 class，因此可以动态构建所有函数。 因此，function 本身可以封装您想要的任何信息。

所以，我认为，通常的 Haskell 方法包括

• 表示实际数据的代数数据类型（作为不可变值）
• 应用程序的 rest 来转换这些值
• 生成查询的函数（封装模式详细信息，编组数据到/从 Haskell 数据类型）
• （可选）运行查询的有状态 monad（隐藏数据库访问的详细信息）
• 运行查询的函数（隐藏数据库访问的详细信息）

Answer 2

将 Haskell 用于数据库的最惯用的方式，也是最有效的一种方式，恕我直言，将记录缓存在 memory 中并在 memory 中使用 STM 事务，以便您使用数据库进行存储。 然后，您可以使用事务变量 (TVar´s) 进行记录管理。 但是您必须定义自己的查询语言，并且需要一种用于缓存/取消缓存和同步的机制。 这毕竟是 java EJB3 和 Hybernate 所做的。

package TCache 定义 DBRefs，它们是具有 TVar 语义的持久 STM 变量。 它们可能是记录的一部分并指向另一个记录并且是轻量级的，因此您可以在其上开发自己的抽象。 它还具有类似 SQL 的查询语言，包括字段搜索、连接和全文搜索。 它在文件中具有默认持久性。 您只需要为您的 Haskell 记录定义一个键，并且您具有文件持久性。 对于数据库持久性，有一个 IResource class，您可以在其中定义记录的读取、写入和删除操作。 每条记录都可能有自己的持久性。 所以所有的数据库交互都在源代码的一个位置，memory 中的事务要快几个数量级。 TCache 每次异步写入数据库时都会写入一致的 state。 它也可以同步写入。