L'outil miracle qui permet à tout le monde de faire 0 bug n'existe pas
Certes, mais un language très expressif, moins de caractères entrainant moins de bgs), ne permettant pas de manipuler des concepts dangereux (pas de pointeurs, de boucles non finissables), ayant une relation au temps discrète (un language fonctionnle synchrone quoi) et travaillant correctement sur les types (inférence de types) réduit drasitquement le nombre de bugs.
Ayant pas mal développé en C/C++/Java, jamais je ne conseillerai ça pour développer du code critique embarqué. Pour ça il y a des languages comme lustre et des outils associés comme SCADE. C'est utilisé par Airbus pour les commandes de vol de l'A380, Eurocopter pour ses pilotes automatiques, dans des centrales nucléaires, etc. Pour l'avoir utililsé en production, je peux dire que ça n'a rien à voir avec un langage classiqe, l'impression est bizare: tu codes et du premier coup ça marche. Si ça marche pas, c'est que ça vient du materiel, des drivers ou de l'intégration.
A force de bosser avec ça, tu chopes la grosses tête, c'est toujours chez les autres que ç amarche pas, jamais chez toi ;o)
[^] # Re: Bof
Posté par Obi MO (site web personnel) . En réponse au journal Repenser les langages et le développement logiciel. Évalué à 6.
Certes, mais un language très expressif, moins de caractères entrainant moins de bgs), ne permettant pas de manipuler des concepts dangereux (pas de pointeurs, de boucles non finissables), ayant une relation au temps discrète (un language fonctionnle synchrone quoi) et travaillant correctement sur les types (inférence de types) réduit drasitquement le nombre de bugs.
Ayant pas mal développé en C/C++/Java, jamais je ne conseillerai ça pour développer du code critique embarqué. Pour ça il y a des languages comme lustre et des outils associés comme SCADE. C'est utilisé par Airbus pour les commandes de vol de l'A380, Eurocopter pour ses pilotes automatiques, dans des centrales nucléaires, etc. Pour l'avoir utililsé en production, je peux dire que ça n'a rien à voir avec un langage classiqe, l'impression est bizare: tu codes et du premier coup ça marche. Si ça marche pas, c'est que ça vient du materiel, des drivers ou de l'intégration.
A force de bosser avec ça, tu chopes la grosses tête, c'est toujours chez les autres que ç amarche pas, jamais chez toi ;o)
Bon allez, j'ai fait ma pub, un petit lien:
http://www.esterel-technologies.com/products/scade-suite/overview.h(...)
Et c'est pas parce que je bosse là bas que je dis tout ça ;o)