Индустрии не подошла сложность ML-языков. Она, чёрт возьми, индустрия, ей надо много и предсказуемо, а здесь чем проще - тем лучше. В результате вывод типов мы получили, но совсем не в ML, а вовсе даже в плюсах, и что важнее - в Go и C#.

Больше того, при увеличении масштаба даже вывод типов (во всяком сулчае массовый) становится рискованным с точки зрения быстрого понимания горы незнакомого кода тем, кто его поддерживает. Примерно поэтому, к примеру, в плюсах его рекомендуют использовать с оглядкой.