JRuby still seems like one of the best rubies around (I use it in all my side projects, and have advocated in the past its use at work). I haven't closely foll

JRuby still seems like one of the best rubies around (I use it in all my side projects, and have advocated in the past its use at work). I haven't closely followed the typing advances in ruby: I like what I see in RBS, but I'm not sure how to consolidate (mentally) Sorbet with that. Is the expectation that at some point they will converge? or keep on living as two completely different typing systems?