https://googlethatforyou.com/?q=successful%20business%20built%20with%20rust https://googlethatforyou.com/?q=successful%20business%20buil... You get the picture

https://googlethatforyou.com/?q=successful%20business%20built%20with%20rust https://googlethatforyou.com/?q=successful%20business%20buil... You get the picture. Also, types are a spectrum. C++ has types, Objective-C has types. Those alone have enough success stories to fill tomes! But of course you’re talking about strong static type systems like Haskell, Ocaml, Scala or ML, so you should read up on Jane Street. Or Mercury. Blockchains like Cardano. Personally I think the onus is on you to prove that types are _not_ useful. Many of us enjoy types.