Stripe creates a typechecker for Ruby

I guess this means types have "crossed the chasm". There isn't a mainstream language / platform that doesn't have some form of relatively modern type system.

I hope their RubyKaigi2018 presentation will be online soon.