Types have a bad reputation in the Ruby community for making code harder to read, and adding unnecessary ceremony. In this article I’d like to show that a type system done right can help make code more readable and toolable without constraining the expressiveness of the language. Or in other words, I will show how a type system can allow the flexibility of Ruby and the toolability of Java to coexist in one language. Read more.