Для того, чтобы об этом рассуждать, надо для начала ввести критерии языка промышленного назначения. Критерии, очевидно, будут зависеть от конкретной области деятельности. Скажем, для интернет-магазина и PHP отлично подходит.

Если же говорить об областях, в которых от бесперебойной работы ПО зависит жизнь и здоровье человека (как экстремуме), то даже в Ada с ее богатой системой типов выразительных средств недостаточно, чтобы дать 100% гарантии. В идеале, для критических алгоритмов должно требоваться доказательство их корректности, а типы должны учитывать контекст. Такой язык есть, хоть и в экспериментальном статусе (по сути, разрабатывается одним человеком) - Idris. Да, ФП а-ля Haskell, и чтобы программировать в этой парадигме, нужна определенная подготовка, но без выделения pure functions эта задача вряд ли вообще решаема.