They are talking about adding some optional type inference in Ruby 3.0. See the rejection comments of https://bugs.ruby-lang.org/issues/9999 This is the most stong typing I'll accept for Ruby. There are plenty of other languages if strong typing is important for a project. They usually look bad (not because of strong typing) but if one really needs them...