scala - 标准化和不可变数据模型

Question

Haskell 如何解决“标准化不可变数据结构”问题？

例如，让我们考虑一个表示前女友/男友的数据结构:

data Man = Man {name ::String, exes::[Woman]}

data Woman = Woman {name :: String, exes::[Man]}

如果一个女人改变了她的名字并且她曾经和 13 个男人在一起，会发生什么？那么所有 13 个人也应该“更新”(在 Haskell 意义上)？需要某种规范化来避免这些“更新”。

这是一个非常简单的例子，但是想象一个有 20 个实体的模型，它们之间的关系是任意的，那该怎么办呢？

用不可变语言表示复杂的规范化数据的推荐方法是什么？

例如，可以找到一个 Scala 解决方案 here (见下面的代码)，它使用引用。在 Haskell 中可以做什么？

class RefTo[V](val target: ModelRO[V], val updated: V => AnyRef) {
  def apply() = target()
}

我想知道，如果更通用的解决方案(如上面的解决方案(在 Scala 中))在 Haskell 中不起作用或者它们不是必需的？如果他们不工作，那为什么不呢？我试图在 Haskell 中搜索执行此操作的库，但它们似乎不存在。

换句话说，如果我想在 Haskell 中对规范化的 SQL 数据库进行建模(例如与 acid-state 一起使用)，是否有一种通用的方法来描述外键？一般来说，我的意思是，不要像 chepner 在下面的评论中建议的那样手动编码 ID。

编辑:

换句话说，是否有一个库(用于 Haskell 或 Scala)在内存中实现 SQL/关系数据库(可能还使用事件源进行持久性)，这样数据库是不可变的，并且大多数 SQL 操作(查询/连接/插入/删除/等)已实现并且是类型安全的？如果没有这样的图书馆，为什么不呢？这似乎是一个不错的主意。我应该如何创建这样的库？

编辑2:

一些相关链接:

https://realm.io/news/slug-peter-livesey-managing-consistency-immutable-models/

https://tonyhb.gitbooks.io/redux-without-profanity/content/normalizer.html

https://github.com/agentm/project-m36

https://github.com/scalapenos/stamina

http://www.haskellforall.com/2014/12/a-very-general-api-for-relational-joins.html

Answer 1

问题是您将数据和关系存储在同一类型中。要正常化，您需要分开。关系数据库 101.

newtype Id a = Id Int -- Type-safe ID.
data Person = Person { id :: Id Person, name :: String }
data Ex = Ex { personId :: Id Person, exId :: Id Person }

现在如果一个人改名，只有一个 Person值受到影响。 Ex条目不关心人们的名字。