[swift-evolution] Dynamic checks are much more powerful than static checks.

[Chris Lattner]

> On Jan 8, 2016, at 9:52 AM, Amir Michail via swift-evolution <swift-evolution at swift.org> wrote:
> 
> Swift is already a type safe language. There is no reason to shy away from adding dynamic checks on top of that.
> 
> Generally speaking, dynamic stuff can be much more powerful than anything that you can do statically.

Hi Amir,

Swift uses both.  Array bounds and checks for integer overflow are pervasive examples of dynamic checks.

-Chris