> With Crystal, at least when it matures a bit more, this hypothesis could be tested.

You could test that now with http://rubyluwak.com/

RubyLuwak is statically typed with local type inference.