J'ai entendu dire que le bon langage pour tenir compte de ce genre de contrainte s'appelle Ada.
Oui.
J'ai encore jamais pris le temps ni l'énergie de m'y mettre, mais je suis persuadé que si je dois écrire un programme "sur", c'est vers lui que le me tournerai.
C'est clair. Pour ma part je m'y suis intéressé. C'est un langage assez verbeux et l'appretissage est difficile. Il faut être précis sur tout, et ce langage confirme une généralité : faire les choses très bien et de façon sure, ça coûte. Et je suis certain qu'écrire un programme en ADA, même pour un expert du langage, ça coûte plus cher que d'écrire le même langage en Java (pour le c++ je sais pas : je serais d'avis, mais je peux me tromper, qu'écrire un soft en C++ prend autant de temps et d'énergie que de l'écrire en ADA, avec plus de risque de retrouver des bugs à la fin du développement parce que le langage n'est pas aussi "strict" qu'Ada). Par contre on est sur de ne pas rencontrer tout un tas de bugs qu'on pourrait rencontrer dans d'autres langages, et la maintenance est facilitée.
Pour ce que j'en ai vu, Rust me parait un bon compromis pour écrire des programmes plus sûrs qu'en C ou en C++, sans tomber dans le côté extrême d'Ada. Mais comme je ne suis pas expert dans le domaine, je peux me tromper (et je suis preneur de tout avis qui m'expliquerait en quoi je me trompe).
[^] # Re: Performance
Posté par totof2000 . En réponse au journal Moi, expert C++, j'abandonne le C++. Évalué à 4.
Oui.
C'est clair. Pour ma part je m'y suis intéressé. C'est un langage assez verbeux et l'appretissage est difficile. Il faut être précis sur tout, et ce langage confirme une généralité : faire les choses très bien et de façon sure, ça coûte. Et je suis certain qu'écrire un programme en ADA, même pour un expert du langage, ça coûte plus cher que d'écrire le même langage en Java (pour le c++ je sais pas : je serais d'avis, mais je peux me tromper, qu'écrire un soft en C++ prend autant de temps et d'énergie que de l'écrire en ADA, avec plus de risque de retrouver des bugs à la fin du développement parce que le langage n'est pas aussi "strict" qu'Ada). Par contre on est sur de ne pas rencontrer tout un tas de bugs qu'on pourrait rencontrer dans d'autres langages, et la maintenance est facilitée.
Pour ce que j'en ai vu, Rust me parait un bon compromis pour écrire des programmes plus sûrs qu'en C ou en C++, sans tomber dans le côté extrême d'Ada. Mais comme je ne suis pas expert dans le domaine, je peux me tromper (et je suis preneur de tout avis qui m'expliquerait en quoi je me trompe).