Dynamic checks are much more powerful than static checks

Evolution Discussion
1

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.

2

Hi Amir,

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

-Chris

ยทยทยท

On Jan 8, 2016, at 9:52 AM, Amir Michail via swift-evolution <swift-evolution@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.