I very much think that's a great approach. Though the outside language kinda needs to be static as well for this to be really useful. For SQL I'm impressed with

I very much think that's a great approach. Though the outside language kinda needs to be static as well for this to be really useful. For SQL I'm impressed with Jooq on Java. The DSL created, barring some shenanigans, doesn't allow you to create a malformed SQL statement that also makes the Java code compile and vice versa. For me, that's the goal.