[amomchilov]

Sorbet is a really interesting point in this space, because in addition to its static type checker, it has a runtime component which can do runtime type checking.

It installs shims around all your methods which type check arguments on the way in, and results on the way out. Of course this comes with a performance penalty, so it’s often enabled for development and testing, but disabled in production.