In my opinion the only use case that is difficult to functions replicate are meta-information about the code (line numbers for errors, code file names, etc.). N

In my opinion the only use case that is difficult to functions replicate are meta-information about the code (line numbers for errors, code file names, etc.). Not saying that it should be a feature to every language though But yeah functions can pretty much describe DSLs, most of the time DSLs are written to build a declarative representation of some concept, that can easily be achieved with factory-like functions