Il pourrait l'être encore plus tellement j'ai laissé de côté certaines fonctionnalités pour me concentrer sur celles différenciant du C en termes de vérifications.
Comme dit dans ce commentaire, j'aurais pu parler:
- des différents types de nombres réels (point fixe, point flottant) qui bénéficient eux aussi des contraintes de types range mais aussi des contraintes de précision
- des paquetages qui représente un niveau d'encapsulation que l'on peut rapprocher des namespaces C++
- de la généricité (generics Java ou templates C++)
- des pointeurs que l'on utilise au final assez peu comparé au C
- de l'orientation objet
- des contrats apprus avec le version 2012 de la norme
...
Ce n'est pas un langage qui peut s'apprendre en peu de temps mais il y a tellement de choses que l'on peut très bien commencer à programmer sans tout connaître.
[^] # Re: Ada et sécurité
Posté par Blackknight (site web personnel, Mastodon) . En réponse à la dépêche Make with Ada deuxième édition. Évalué à 3.
Il pourrait l'être encore plus tellement j'ai laissé de côté certaines fonctionnalités pour me concentrer sur celles différenciant du C en termes de vérifications.
Comme dit dans ce commentaire, j'aurais pu parler:
- des différents types de nombres réels (point fixe, point flottant) qui bénéficient eux aussi des contraintes de types range mais aussi des contraintes de précision
- des paquetages qui représente un niveau d'encapsulation que l'on peut rapprocher des namespaces C++
- de la généricité (generics Java ou templates C++)
- des pointeurs que l'on utilise au final assez peu comparé au C
- de l'orientation objet
- des contrats apprus avec le version 2012 de la norme
...
Ce n'est pas un langage qui peut s'apprendre en peu de temps mais il y a tellement de choses que l'on peut très bien commencer à programmer sans tout connaître.