正規化され不変のデータモデル

Question

Haskellはどのようにして "正規化された不変のデータ構造"の問題を解決しますか？例えば

、のは、元ガールフレンド/ボーイフレンドを表すデータ構造を考えてみましょう：女性は彼女の名前を変更し、彼女は13人であったならば

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

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

はどうなりますか？そして、13人全員が（更新された）（ハスケルの意味で）これらの「更新」を避けるには、ある種の正規化が必要です。

これは非常に簡単な例ですが、20個のエンティティとその間の任意の関係を持つモデルを想像してください。

複雑な正規化されたデータを不変言語で表現するには、どのような方法が推奨されますか？

たとえば、Scalaソリューションはhere（下記のコードを参照）があり、参照を使用しています。ハスケルで何をすべきか？

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

（スカラ）で上記のような、より一般的な解決策は、Haskellで動作しないか、彼らは必要でない場合、私は、疑問に思いますか？彼らがうまくいかない場合は、どうしてですか？私はハスケルでこれを行うライブラリを検索しようとしましたが、存在しないようです。

つまり、Haskellで正規化されたSQLデータベースをモデリングする場合（たとえば、acid-stateと一緒に使用する場合）、外部キーを記述する一般的な方法はありますか？一般的には、以下のコメントでchepnerが提案したようにIDを手書きでコード化しているわけではありません。

EDIT：換言すればさらに

、データベースは不変であるように（おそらくは持続性のイベントソーシングを使用して）メモリ内のSQL /リレーショナルデータベースを実装（ハスケルまたはスカラのための）ライブラリがあるとほとんどのSQL操作（照会/結合/挿入/削除/など）は実装されており、型保証されていますか？そのようなライブラリがない場合は、どうしてですか？それはかなり良いアイデアのようです。このようなライブラリを作成するにはどうすればよいですか？

EDIT 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のエントリは、人々の名前を気にしません。

Answer 2

プロジェクトM63は、私が探していたものにかなりcloseが来ます。ハスケルに書かれています。

ガボット・ゴンザレスの投稿「A very general API for relational joins」に、より軽量なハスケル・ソリューションが概説されています。