Sorbet:
A Typechecker for Ruby.

Presented at Ruby Types meeting collocated with RubyConf2018