Pour ma part, je crois que Caml est utilisé pour l'eseignement, mais aussi et surtout pour la recherche. On s'en sert pas mal pour expérimenter sur des recherches sur la théorie des types notamment (enfin il me semble que c'est un sujet très à la mode en tout cas, je ne suis pas vraiment dans le coup). En ce qui concerne ton assertion sur le fonctionnel, je trouve que c'est un peu expéditif : est-ce que tu qualifierais Lisp d' "orignal" par exemple ?
En fait, je pense que des langages comme Caml sont plus à considérer comme des laboratoires ou des outils dont les résultats probants feront la base des prochaines générations de langages. Et en réalité, le fonctionnel est en train de pénétrer à pas feutrés l'univers de la programmation impérative ; deux exemples pour étayer mon propos dans l'univers de l'objet pur, dur et brutal : Scala ( http://scala.epfl.ch/docu/(...) ), qui intègre des éléments fonctionnels à l'impératif, et la dernière version de C# (voir le journal http://linuxfr.org/~TImaniac/19441.html(...) à ce sujet). Tous les deux implémentent par ailleurs un mécanisme d'inférence de type, qui, allié à la généricité permet d'écrire un code à la fois très dépouillé et expressif. On verra bien le succès que ça rencontrera, mais je crois qu'il faut arrêter de considérer la programmation fonctionnelle comme un oiseau exotique ; c'est simplement une approche différente, qui selon les cas peut s'avérer beaucoup plus naturelle que le modèle impératif. Bref, wait and see, comme disait l'autre...
[^] # Re: Caml
Posté par ang . En réponse au journal Les ratés historiques de l'informatique française. Évalué à 3.
En fait, je pense que des langages comme Caml sont plus à considérer comme des laboratoires ou des outils dont les résultats probants feront la base des prochaines générations de langages. Et en réalité, le fonctionnel est en train de pénétrer à pas feutrés l'univers de la programmation impérative ; deux exemples pour étayer mon propos dans l'univers de l'objet pur, dur et brutal : Scala ( http://scala.epfl.ch/docu/(...) ), qui intègre des éléments fonctionnels à l'impératif, et la dernière version de C# (voir le journal http://linuxfr.org/~TImaniac/19441.html(...) à ce sujet). Tous les deux implémentent par ailleurs un mécanisme d'inférence de type, qui, allié à la généricité permet d'écrire un code à la fois très dépouillé et expressif. On verra bien le succès que ça rencontrera, mais je crois qu'il faut arrêter de considérer la programmation fonctionnelle comme un oiseau exotique ; c'est simplement une approche différente, qui selon les cas peut s'avérer beaucoup plus naturelle que le modèle impératif. Bref, wait and see, comme disait l'autre...