En fait le principal argument de caml n'est pas la performance ni la puissance mais vraiment le typage fort (avec inférence de type) qui refuse à la compilation tout programme qui risque de planter.
Je ne suis pas trop d'accord, je dirais que le typage fort c'est l'avantage d'ADA. L'avantage de Caml c'est que c'est un langage fonctionnel.
L'inférence de type est très souvent génante pour les développeur car cela demande une très grande rigueur. De plus l'inférence de type provoque des surprises à la compilation, tu peux faire une erreur de logique à un endroit et te retrouvé avec un syntaxe error quelques lignes plus bas car le compilateur continue l'analyse tant qu'il arrive à typer ton terme.
Enfin Caml reste quand meme un de mes langages préférés ^^
[^] # Re: Un petit test custom
Posté par gph . En réponse à la dépêche Langages et performances : les Français à l'honneur !. Évalué à 1.
Je ne suis pas trop d'accord, je dirais que le typage fort c'est l'avantage d'ADA. L'avantage de Caml c'est que c'est un langage fonctionnel.
L'inférence de type est très souvent génante pour les développeur car cela demande une très grande rigueur. De plus l'inférence de type provoque des surprises à la compilation, tu peux faire une erreur de logique à un endroit et te retrouvé avec un syntaxe error quelques lignes plus bas car le compilateur continue l'analyse tant qu'il arrive à typer ton terme.
Enfin Caml reste quand meme un de mes langages préférés ^^