let a:[Int] = [1] + [2] + [3] + [4] + [5] + [6] + [7]

What's the reason, something like exponentially many candidates for overloading resolution?

> here is very little to no evidence that static typing actually increases safety

Well, C is statically typed, Python or Common Lisp aren't. We need better categories than "static/dynamic".