News for hackers. Stuff that matters.
Re:Another non-argument in type systems by ltratt on Thursday October 25, 2012 @11:20AM (#4697937)
If you have a static type system and it's sound, it'll reject some programs that would execute without type errors, whereas a dynamically typed language will allow such programs to execute: it's what I called "dynamic expressivity". That's why saying "more expressive" without qualifying whether one is considering "static" or "dynamic" is problematic.

There are no comments on this comment yet.