Not that you would in lisp, since it's all dynamically typedHow does having a degenerate type system prevent one from wanting a real one? Sure, typechecking is possible with macros, like a thousand other cool things are, but you'd have to reinvent those things from scratch. That's why no one really gets anything done with those macros even though everything could be done with them.