AR
Повторю, что не было задачи принести людям свет.
Была задача заиметь инструмент формальной валидации типов на стыке приложения и базы.
Что из него можно построить и как это найдет отклик в прекрасном мире программирования будущего, сказать не берусь :)
Пока удалось построить статический анализатор и зачатки data lineage инструментов.
Т.е, например, можно искать проблемы в уже сгенерированных при помощи ORM запросах. А хотим мы этого или нет, таких проектов абсолютное большинство.
Я даже не сильно расстроюсь, если разработчикам приложений это все не особо пригодится, т.к. есть еще отдельный мир дата инженеринга и там творится мрак и ужас ) Но денег там очень много :)