Je suis parfaitement d'accord avec toi, l'apport des langage fonctionnels touche surtout à la garantie qu'un code qui compile sera un code qui fonctionne (sauf erreur de conception).
Garantie que la donnée correspond au format attendu
Garantie que la requête sur la base de données correspond au schéma déclaré etc...
Mais il reste encore des points sur lesquels ces langages sont à la traîne (pas du point de vue technique, mais dans les librairie existantes). Surtout dans le domaine du web. Des choses auxquelles je pense :
La gestion des web service : à ma connaissance, OCaml n'a pas de bindings pour créer un client WS à partir d'un WSDL et garantir que les données transmises sont conformes.
La gestion du XML : j'aimerai beaucoup pouvoir garantir qu'une transformation XSL appliquée sur un schéma XSD d'entré me produit un XML conforme à un XSD de sortie. (quel que soit le xml bien sûr)
Pourtant, c'est techniquement possible. Mais ces langages ne sont pas encore assez présents dans le monde du dev web. Quand tu as quelqu'un qui te parle SOA, JBoss, ServiceMix tu as beau savoir que ça n'est que ça n'est qu'une technologie avec ses limites, tu ne pas proposer quelquechose d'équivalent en face.
[^] # Re: Le web
Posté par chimrod (site web personnel) . En réponse au journal Qui fait des trucs "cools" en France et en Europe?. Évalué à 2.
Je suis parfaitement d'accord avec toi, l'apport des langage fonctionnels touche surtout à la garantie qu'un code qui compile sera un code qui fonctionne (sauf erreur de conception).
Mais il reste encore des points sur lesquels ces langages sont à la traîne (pas du point de vue technique, mais dans les librairie existantes). Surtout dans le domaine du web. Des choses auxquelles je pense :
La gestion des web service : à ma connaissance, OCaml n'a pas de bindings pour créer un client WS à partir d'un WSDL et garantir que les données transmises sont conformes.
La gestion du XML : j'aimerai beaucoup pouvoir garantir qu'une transformation XSL appliquée sur un schéma XSD d'entré me produit un XML conforme à un XSD de sortie. (quel que soit le xml bien sûr)
Pourtant, c'est techniquement possible. Mais ces langages ne sont pas encore assez présents dans le monde du dev web. Quand tu as quelqu'un qui te parle SOA, JBoss, ServiceMix tu as beau savoir que ça n'est que ça n'est qu'une technologie avec ses limites, tu ne pas proposer quelquechose d'équivalent en face.