Well, all I am saying is that PostgreSQL provides you with compile-time type-safety when your write your queries. Bringing this type information at "compile-ti

Well, all I am saying is that PostgreSQL provides you with compile-time type-safety when your write your queries. Bringing this type information at "compile-time" into your language of choice where you embed your queries can also be done but is a harder problem. There is good progress in that sphere but it is still in it is infancy. The GraphQL eco-system for example, has this figured out using code generators. A similar thing can be done with DBs.