let a:[Int] = [1] + [2] + [3] + [4] + [5] + [6] + [7] What's the reason, something like exponentially many candidates for overloading resolution? > here is ve

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".