D'ailleurs, j'ai oublié de le préciser dans la dépêche mais les pre- et post-conditions génèrent un code d' assert levant une exception de type AssertionError si je me rappelle bien.
le but c'est plutôt de pouvoir exprimer les pre- et post-condition ainsi que les invariants plus simplement
Comme je le disais plus haut, du sucre syntaxique beaucoup plus qu'une remise en cause du paradigme.
[^] # Re: Vive le fonctionnel
Posté par Blackknight (site web personnel, Mastodon) . En réponse à la dépêche Publication de la nouvelle norme Ada 2012. Évalué à 2.
D'ailleurs, j'ai oublié de le préciser dans la dépêche mais les pre- et post-conditions génèrent un code d' assert levant une exception de type AssertionError si je me rappelle bien.
Comme je le disais plus haut, du sucre syntaxique beaucoup plus qu'une remise en cause du paradigme.