"The Surprising Benefits of Static Typing" It's actually "gradual typing", which among many benefits shared with full static typing has one very important of i

"The Surprising Benefits of Static Typing" It's actually "gradual typing", which among many benefits shared with full static typing has one very important of its own: it gets out of your way when you want to ignore the types. The approach itself is old(EDIT: Common Lisp and Dylan), the research and theory behind it is a decade old at this point, this shouldn't be very surprising anymore :)