It does not, however - allow me to re-implement the methods based on the values passed into them. The greatest example of this is SQL: it takes the set of stat

It does not, however - allow me to re-implement the methods based on the values passed into them. The greatest example of this is SQL: it takes the set of statements and transforms them into a set of steps a database needs to run in order to give you a result (and there are many ways of doing so). So essentially we end up with an optimisation problem that has to be solved (and many problems in computing are the optimisation problems where the question can be answered in many different ways). You could, however - argue that you could also implement an SQL-like language with the language of your choice; but then you had just re-implemented a DSL. And the last point against you is the fact that we are currently at the point where writing plugins for the IDEs is getting more easy, so quite frankly - the overhead of writing a new DSL is becoming less of an issue.