ça ne rend pas vraiment les programmeurs intelligents, je suis bien d'accord, même si ton exemple sur Ariane 501 est un peu simpliste et erroné puisque Ada (enfin les checks inclus dans le langage) avaient bien fait son travail puisque le débordement a bien été identifié au run-time mais mal "rattrapé"... pour le coup ça aurait été codé en C ça serait peut-être passé inaperçu ;-)
Ada force un développeur à se poser beaucoup de questions pendant qu'il code et qu'il compile (c'est assez difficile d'écrire qq lignes d'Ada sans erreur de compilation et c'est la raison pour laquelle un débutant a beaucoup de mal avec ce langage), c'est le cas pour le typage des variables (ranges,...), pour les pointeurs, pour l'orientation object, la prise en compte dans le langage du multi-tache...
Vaut mieux se les poser à la compilation qu'au runtime quand on obtient le core dump (à supposé qu'on l'obtient pendant les tests et pas en production...) et pour le moment aucun autre langage un tant soit peu utilisable industriellement (je suis sur que dans les labos ils ont des trucs mieux), ne concurrence Ada. On rajoute des régles de codage draconiennes au Java, C, C++ pour ressembler à de l'Ada, on tente de faire de l'analyse statique, bref plein de trucs lours qui sont déjà proprement prévus dans Ada...
Moralité : soyez curieux, aller faire un tour du coté d'Ada, ça va vous sembler lourd au début, mais c'est intéressant de voir ce que peut donner un langage designé pour la propreté et la sécurité.
[^] # Re: ...da sur mon bidet
Posté par gege (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 4.
Ada force un développeur à se poser beaucoup de questions pendant qu'il code et qu'il compile (c'est assez difficile d'écrire qq lignes d'Ada sans erreur de compilation et c'est la raison pour laquelle un débutant a beaucoup de mal avec ce langage), c'est le cas pour le typage des variables (ranges,...), pour les pointeurs, pour l'orientation object, la prise en compte dans le langage du multi-tache...
Vaut mieux se les poser à la compilation qu'au runtime quand on obtient le core dump (à supposé qu'on l'obtient pendant les tests et pas en production...) et pour le moment aucun autre langage un tant soit peu utilisable industriellement (je suis sur que dans les labos ils ont des trucs mieux), ne concurrence Ada. On rajoute des régles de codage draconiennes au Java, C, C++ pour ressembler à de l'Ada, on tente de faire de l'analyse statique, bref plein de trucs lours qui sont déjà proprement prévus dans Ada...
Moralité : soyez curieux, aller faire un tour du coté d'Ada, ça va vous sembler lourd au début, mais c'est intéressant de voir ce que peut donner un langage designé pour la propreté et la sécurité.