The thing that makes me uneasy about the proposed implementation of metaclasses is that imperative code is used for code generation instead of declarative speci

The thing that makes me uneasy about the proposed implementation of metaclasses is that imperative code is used for code generation instead of declarative specifications. Simple examples are relatively simple and predictable, but anything more complex might blow up into incomprehensible mess pretty quickly.