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.

NASA uses LISP.
NASA doesn't use huskel.

If huskel is so good then why didn't the SICP authors use it instead of Scheme? Even academics think huskel is shit for theory.