Господа, я к вам с абстрактной практической проблемой, как к лидерам индустрии. Вот смотрю я на наш код (типа энтерпрайз, но ребята старались без крови) на скала, весь в монадах обмазаный, flatmap, left , right, unit по три раза в каждой строчке. На практике он не может работать ни на чем кроме единичных сущностей в базе, все потому что один уровень абстракции подгружает/сохраняет жирные обьекты из базы через, а другой гоняет его через трансформации в которых бизнес логика и меня уверяют, что по другому никак , мол трансформация не может сказать другому уровню , какие поля для обьекта нужны и вон те четыре джоина можно не делать, т.к. она вообще не знает, что обьект из базы пришел. Внимание вопрос: поскольку и обьект и трансформации все известны во время компиляции со всеми типами, я уверен что принципиально возможно  генерировать SQL запросы на этапе компиляции: каждая трансформация это не код на языке для выполнения,  а код на языке который сгенерирует where, join и  update куски специально для нее, но при…