Sure, but the majority of companies in the world with IT department, don't have software as business, rather as a cost center for support their actual business.
Companies like Facebook aren't what the majority of us works on.
So when selling languages to management "look Facebook does it" usually doesn't help at all, what one needs are how that adoption will help those IT costs go down.
From my research and experiments, I think that ML languages help a lot "getting the specs right". That means that you have more confidence that the code does what you want it to do.
I can see a lot of value for that in non-tech companies that correctness is crucial, like finance, insurance, health...
I love ML languages, my first was Caml Light, OCaml wasn't yet born.
Also share your opinion, and go even further, for me personally IT projects should be accountable just like in many industries.
However my experience in enterprise consulting, with applications written in Excel, or languages that allow for "replaceable programmers", is that business doesn't care if software is the same quality of 1 € shop items, as long it generates the desired output.
Companies like Facebook aren't what the majority of us works on.
So when selling languages to management "look Facebook does it" usually doesn't help at all, what one needs are how that adoption will help those IT costs go down.