Нормализованная и неизменная модель данных

Question

Как Haskell решает проблему «нормализованной неизменной структуры данных»?

Например, давайте рассмотрим структуру данных, представляющие бывшие подружек/бойфренд:

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

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

Что происходит, если женщина меняет свое имя, и она была с 13 людей? Тогда весь 13 человек должен быть «обновлен» (в смысле Хаскелла) тоже? Чтобы избежать этих «обновлений», необходима какая-то нормализация.

Это очень простой пример, но представьте себе модель с 20 сущностями и произвольные отношения между ними, что делать тогда?

Каков рекомендуемый способ представления сложных нормализованных данных на неизменяемом языке?

Например, решение Scala можно найти here (см. Код ниже), и оно использует ссылки. Что делать в Хаскелле?

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

Интересно, если более общие решения, как один из приведенных выше (в Scala) не работают в Haskell или они не нужны? Если они не работают, то почему бы и нет? Я попытался найти библиотеки, которые делают это в Haskell, но они, похоже, не существуют.

Другими словами, если я хочу моделировать нормализованную базу данных SQL в Haskell (например, для использования с acid-state), существует ли общий способ описания внешних ключей? Под общим я имею в виду, а не вручную кодирование идентификаторов, как предложено chepner в комментариях ниже.

EDIT:

Еще другими словами, есть библиотека (для Haskell или Scala), который реализует SQL/реляционных баз данных в памяти (возможно также с помощью Event Sourcing для персистенции) таким образом, что база данных является неизменным и большинство операций 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 к тому, что я искал. Это написано в Haskell.

Более легкое решение Haskell изложено в сообщении Gabriel Gonzalez «A very general API for relational joins».