Re: .

Effectivement, il y a plusieurs raisons de l'insuccès du langage :

• Trop complexe à maitriser, minimum de maitrise mathématique requis trop élevé
• Ne satisfait pas les SSII, car trop bonne productivité (Le business model d'une SSII, c'est de vendre des jour.homme et des bugs, pas des bon logiciels)
• Coût à l'exécution difficile à prévoir
• Système de compilation avec tous les problèmes qu'on a en C (makefile etc…). Il y a ocamlfind/ocamlbuild, mais c'est pas génial. Absence de NameSpace. On vient enfin d'avoir un vrai système de paquet (OPAM)… en 2013
• C'est pas un langage à l'aise pour faire des interfaces, et il n'y a pas de lib sympa pour ça
• Niveau de la ML très haut et très orienté "système de type ultra compliqué", ce qui fait que les programmeurs normaux se sentent tout de suite largués et ont aussi l'impression de se sentir comme des m**** face à une armée de normaliens et de polytechniciens (le langage a été fait par un normalien).
• Paradigme fonctionnel, pas enseigné de base et difficile à appréhender : on peut construire un algo impératif pas à pas, par essai erreur. En fonctionnel il faut comprendre le truc après s'être torturé les méninges : beaucoup de gens n'aiment pas concevoir leur algo sur papier, OCaml t'y oblige, souvent.

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker