Very interesting talk by Dmitry Petrashko about Sorbet, a type checker for Ruby.

https://www.infoq.com/presentations/sorbet-type-checker-ruby/