D'un autre côté, il ne sont pas plus formés au Cobol, et quand il doivent s'y mettre, c'est en général sur le tas ou avec une formation éclair avant de partir au feu. Je pense que si des pratique de preuves, au moins sur les parties sensibles du code, devaient petit à petit se généraliser, alors tout le monde s'y mettrait progressivement. Il ne faut pas non plus désespérer du monde du développement. Rappelons-nous qu'il y a seulement une petite dizaine d'années, la programmation objet était assez largement conspuée dans le monde des services quand elle n'était pas carrément considérée comme cryptique et inaccessible au développeur lambda. Wait and see, je vous dis...
[^] # Re: Caml
Posté par ang . En réponse au journal Les ratés historiques de l'informatique française. Évalué à 1.