ORM поддержка неизменных классов

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

Я хотел бы записать классы как следующее (или эквивалентный Scala):

class A {
  private final C c; //not mutable

  A(B b) {
     //init c
  }

  A doSomething(B b) {
     // build a new A
  }
}

ORM имеет к инициализированному объект с конструктором. Таким образом, возможно проверить инварианты в конструктора. Доступ конструктора по умолчанию и поля/метода set для инициализирования не достаточен и усложняет реализацию класса.

Работа с наборами должна поддерживаться. Если набор изменяется, он должен создать копию с пользовательской перспективы. (Рендеринг старого набора указывает устаревший. Но пользовательский код может все еще продолжить работать (или по крайней мере читать), это.) Во многом как работа персистентных структур данных.

Некоторые слова о мотивации. Предположим, что у Вас есть модель объекта области стиля FP. Теперь Вы хотите сохранить это к базе данных. Кто Вы делаете это? Вы хотите сделать столько, сколько Вы можете в чистом функциональном стиле, пока злой эффект сторон не входит. Если Ваша модель объекта области не неизменна, Вы не можете, например, совместно использовать объекты между потоками. Необходимо скопировать, кэшировать или использовать блокировки. Таким образом, если Ваш ORM не поддерживает неизменные типы Ваш constrainted в Вашем выборе решения.