I left Shopify late last year, so I don't know what the current internal stance is, nor do I speak for the company in any capacity. But before I left, the stra

I left Shopify late last year, so I don't know what the current internal stance is, nor do I speak for the company in any capacity. But before I left, the strategy was to begin making inroads into typedness by attacking the most important places first (which in our case was often the inter-component abstraction boundaries). Teams were encouraged to add Sorbet annotations to their intra-component code where appropriate but it was not a blanket requirement. Regarding JIT/CRuby/Sorbet compiler -- I don't think it's either/or. A company of Shopify's size can afford to fund work on multiple projects with overlapping goals.