I FUCKING HATE DYNAMIC TYPING

I've spent hours trying to figure out what's wrong and it was because this shit silently accepted a vector in place of a scalar. FUUUUCK FUCKETY FUUUUCK. Static typing should be everywhere, even in math software, even in fucking Python, I want ALL programming to always be strictly and statically typed. Fucking idiots, ARRGGH.

>>32
Macros only need types insofar as the AST needs types (it doesn't). Which is to say, even though the expanded code must be correctly typed, the method of producing it (whether expanding it from a macro or typing it in by hand) does not.