Shopify went back to native. I think the bigger shift is formal verification (martinalderson.com)

Interesting shift native tooling can simplify development, while formal verification may help teams build confidance in correctness before reaching production.