> static typing kind of tries to force you into the opposite

The entire point being to restrict what can be done in order to catch errors. The two things are fundamentally at odds.

Viewed in that way typed metaprogramming is an attempt to generalize those constraints to the extent possible without doing away with them.

I would actually expect array languages to play quite well with the latter. A sequence of transformations without a bunch of conditionals in the middle should generally have a predictable output type for a given input type. The primary issue I run into with numpy is the complexity of accounting for type conversions relative to the input type. When you start needing to account for a variable bit width things tend to spiral out of control.