Dynamic checks are much more powerful than static checks


(Amir Michail) #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.


(Chris Lattner) #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.