типы

Вот это прям очевидно-оголтелое передергивание с обобщением, не так ли? :)

Самый простой пример: что помешает подставить вместо id пользователя id какой-то другой сущности по ошибке?

Хм. Ты же сам это сказал, нет разве?

Нет. Я сказал совсем другое.

Типизация dao-функции.

Ты сказал, что авторефакторинги в ORM (типа переименования поля) возможны только в случае простоя при выкладке.
Если нет, то разъясни

Если композит - то там тоже лямбда, почему нет? Но забирать сложные сущности из БД вообще не стоит )

Нет, я сказал, что связанные с переименованием блокировки могут быть не важны в огромном числе контекстов, в отличие от тех, к которым обычно апеллируешь ты.
И уж если вдруг в твоем контексте это важно - ну, ты лишаешься такой возможности, уж будешь ты использовать ORM или нет.
Можно посочувствовать, но это преимущество ORM не пропадает для тех контекстов, где это не важно

Я не про сборку, а просто про запись. У тебя есть композитный объект, который при сохранении  в бд распадается на пачку сущностей в разных таблицах.
Самый простой пример, когда у тебя есть зависимости между полями, вроде "имя не должно быть женским, если указал пол - мужской"

А в каких контекстах это не важно?

Начинаем повторяться. Там, где есть регулярный штатный downtime. Например, для обновления. Например, каждую ночь.

То есть системы  без 24*7 или без требований к выкладки без простоя?

Ну да. Таких много.

Просто представьте себе проект, где основная сложность - вообще не в 24x7 и не в performance, а в количестве логики выборок и разных структур БД (несколько сотен таблиц при среднем уровне нормализации на команду из 5-10 человек). С объемом данных не огромным но достаточным для того, чтобы уже не работал подход "загрузим все в память, там разберемся". Ну, несколько сот гигабайт.
Я с этим активно сталкивался в ритейловых проектах.

Ок. Я просто пытаюсь понять, когда имеет смысл применять ORM.

Когда major challenge - в количестве и разнообразии структур и выборок.

Ага. А почему такая нормлизация и зачем так много таблиц? Там реально не проще сделать через json-поля?

Или даже jsonb (если повезло и PG в проекте)

JSON (если мы не говорим про экзотику типа JSON-запросов) поля никак не спасают,
если у тебя высокое разнообразие соединений.