Sorbet, a typechecker for Ruby is now open-source
twitter.com