规范化和不可变数据模型

Question

Haskell如何解决"规范化的不可变数据结构"问题？

例如,让我们考虑代表前女友/男朋友的数据结构:

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

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

如果一个女人改变她的名字并且她和13个男人在一起会怎么样？然后所有13个人都应该"更新"(在Haskell意义上)？需要某种规范化来避免这些"更新".

这是一个非常简单的例子,但想象一个具有20个实体的模型,以及它们之间的任意关系,那么该做什么呢？

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

例如,可以在此处找到Scala解决方案(请参阅下面的代码),它使用引用.在Haskell可以做些什么

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

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

换句话说,如果我想在Haskell中建模规范化的SQL数据库(例如与酸状态一起使用),是否有一种描述外键的通用方法？一般来说,我的意思是,不要按照以下评论中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条目并不关心人们的名字.