Siempre he escuchado que C es el idioma de elección para usar en sistemas integrados, o cualquier cosa que necesite ejecutarse a la máxima velocidad. Nunca desarrollé una afición por C, principalmente porque no me gusta la aritmética de punteros y el lenguaje es apenas un peldaño por encima del ensamblador.
Por otro lado, los lenguajes de ML son funcionales, los lenguajes de recolección de basura, y OCaml incluso tiene un modelo de objeto, pero tienen la reputación de ser tan rápidos como los lenguajes de C. ML tienen la abstracción que cualquiera podría pedir para escribir alto código de nivel conciso, pero conserva la velocidad necesaria para escribir aplicaciones de alto rendimiento.
OCaml en particular se puede usar en cualquier lugar que C se use tradicionalmente, como dispositivos integrados, controladores de gráficos, sistemas operativos, etc. Por todos los derechos, OCaml ya debería haber tomado el mundo, pero casi nadie ha oído hablar de Lengua pero solo la usé.
Esta es una pregunta subjetiva, pero ¿por qué OCaml y ML otros idiomas se han mantenido tan oscuros, mientras que C y otros idiomas se hicieron populares?