On Wednesday, 27 May 2015 at 08:14:36 UTC, Kagamin wrote:
The problem with declarative macro system is that you would need to learn yet another language. Possibly turing-complete. And a declarative turing-complete language is an overkill both for usage and implementation. Imperative macros get it done in an intuitive way in the existing language.
Yes, declarative macros can destroy an imperative language, because they can change the syntax of the language beyond recognition. Ie macrosystem will be more powerful than the language itself. Unfortunately, Nemerle, Scala and turned :) But, in my opinion, there should be options to combine declarative macros with imperative languages. You just need to properly limit these macros to a certain moment. Is not it possible to combine in the desired degree of declarative macros with imperative languages?
