On va assister à une intégration plus ou moins poussée de la notion de fonction anonyme et de fermeture lexicale dans les langages/plateformes les plus utilisées.
Par contre pour les notions d'immutabilité, d'inférence de type, de types algébriques et de filtrage, ça va rester assez confidentiel.
Il y a deux opportunités pour le paradigme fonctionnel:
- la course à la fréquence n'a pas stoppé mais elle a tellement ralenti que pour l'instant seul le niveau de parallélisme offre des perpectives de gains importants
- le niveau des normes concernant les systèmes critiques ne cesse de monter
Le gros problème pour la première opportunité c'est l'étroitesse de la fenêtre de tir, le monde des semi-conducteurs est très réactif et le parallélisme est une mode qui n'a pas encore trouvé sa killer-app. Et si elle la trouvait je doute que ce soit du côté de la programmation fonctionnelle.
Sachant que la mode dans le fonctionnel est à la certification, ça deviendra peut être un paradigme important dans les domaines sensibles à la sureté. Et dans le secteur des services ça pourrait devenir un gage de sérieux pour les candidatures à l'embauche. Mais là encore ça peut tenir à des intangibles comme le succès d'image de F#. Récemment, avec Vista, on a bien vu les conséquences d'image d'une campagne promotionnelle trop aggressive et des exigences trop éloignées de la réalité des utilisateurs.
Partager