Sorbet - Making Ruby Statically Typed

Stripe's Sorbet type checker aims to achieve what Typescript has done for JavaScript; inject static typing to a dynamical language.

But let's start with the basics; what's so wrong with dynamically typed systems that statically type ones, full or partial, are so desirable.

Back in early 2010, I Programmer ran my in-depth article series, Type System Demystified (Part 1, Part 2, Part 3) on the big face-off between types systems (static vs dynamic, strong vs weak), detailing both their hindrances as well as their merits. While things have moved on .. full article on i-programmer.info