Can someone explain why the types cannot live in Ruby code itself (after an appropriate version bump)?
Python 3 incorporated types into the language itself, in a similar way (though non-reified) to PHP. This seems much easier to deal with than requiring two files (.rb and .rbs) to describe a single data structure.
replies(4):