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

Chris Lattner clattner at apple.com
Fri Jan 8 11:57:31 CST 2016

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


More information about the swift-evolution mailing list