>>17Lisp macros have the capacity to execute code and modify a global environment upon macro expansion. You could use a turing complete type system to check your macroed templates if you wanted. Not that you would in lisp, since it's all dynamically typed. I would normally grow impatient with having to remind people of these basic facts, but it appears most of the world is unaware of lisp and is unwilling to become aware of lisp even after conversations such as this. So I will have to defend lisp in the face of the horrible impression made by C's macro system forever because people aren't willing to expose themselves to lisp, but are willing to taint it's name based upon a loose understanding of something unrelated which is the closest thing to lisp they can relate to.