Je suis 100% d'accord, mais la realite est que le code est ecrit en C/C++ et qu'on va pas remplacer des millions de lignes de code du jour au lendemain, et que pour un OS c'est d'ailleurs au jour d'aujourd'hui le seul choix realiste(aucun OS grand public n'est ecrit dans un autre langage pour l'instant meme si certains y travaillent...).
Resultat, faut faire avec en attendant, et pour faire de l'analyse statique efficace de C/C++ les annotations sont necessaires car le langage est trop laxiste pour inferer ces elements.
[^] # Re: et les implications juridique ?
Posté par pasBill pasGates . En réponse au journal Microsoft est dans le top 5 des contributeurs de linux 3.0. Évalué à 3.
Je suis 100% d'accord, mais la realite est que le code est ecrit en C/C++ et qu'on va pas remplacer des millions de lignes de code du jour au lendemain, et que pour un OS c'est d'ailleurs au jour d'aujourd'hui le seul choix realiste(aucun OS grand public n'est ecrit dans un autre langage pour l'instant meme si certains y travaillent...).
Resultat, faut faire avec en attendant, et pour faire de l'analyse statique efficace de C/C++ les annotations sont necessaires car le langage est trop laxiste pour inferer ces elements.