(mon opinion est que tout le logiciel produit par la recherche publique devrait être libre)
Je suis assez d'accord : pour le citoyen externe au milieu, le fait que ce qui est produit par la recherche publique ne soit pas libre (et ça vaut aussi pour les publications) peut donner à juste titre l'impression qu'il paît de ses impôts des choses qui ne reviennent pas au citoyen, ou du moins pas de façon très transparente ou optimale. Après, je suis d'accord que les directives peuvent être dangereuses, et j'imagine aussi qu'il y a des cas où un raisonnement aussi simple n'est pas suffisant et d'autres cas où ça n'a pas vraiment d'importance. Personnellement, je trouve un peu que le cas de Compcert est un peu dans ce dernier cas pour le moment, car le public intéressé actuellement, comme airbus, ne me donne pas l'impression de trop s'intéresser au libre, malheureusement. Ceci dit, peut-être que plus de monde sera intéressé dans un certain nombre d'années et, alors, ça deviendra effectivement dommage.
[^] # Re: Compilateur sans bugs
Posté par anaseto . En réponse à la dépêche OpenBSD 5.7 « Blues Brothers ». Évalué à 3.
Je suis assez d'accord : pour le citoyen externe au milieu, le fait que ce qui est produit par la recherche publique ne soit pas libre (et ça vaut aussi pour les publications) peut donner à juste titre l'impression qu'il paît de ses impôts des choses qui ne reviennent pas au citoyen, ou du moins pas de façon très transparente ou optimale. Après, je suis d'accord que les directives peuvent être dangereuses, et j'imagine aussi qu'il y a des cas où un raisonnement aussi simple n'est pas suffisant et d'autres cas où ça n'a pas vraiment d'importance. Personnellement, je trouve un peu que le cas de Compcert est un peu dans ce dernier cas pour le moment, car le public intéressé actuellement, comme airbus, ne me donne pas l'impression de trop s'intéresser au libre, malheureusement. Ceci dit, peut-être que plus de monde sera intéressé dans un certain nombre d'années et, alors, ça deviendra effectivement dommage.