Si je veux dire que j'adore les croissants et que c'est ma viennoiserie préférée et que je la trouve formidable, je m'autorise à le dire malgré le fait que je ne les ai pas toutes goûtées (je ne les connais même pas toutes).
Y a une grande différence entre dire j'adore les croissants et les croissants, c'est ce qu'il y a de mieux. Le premier annonce clairement la subjectivité, le second donne un fait... Mais bon, je chipote.
Sinon, pour les Os cités, j'ai touché aux quatre... ;-)
Sinon les prés et post condition c'est des commentaires où c'est formellement vérifié à la compilation ou à l'exécution ?
Ici, c'est du commentaire mais en passant du Spark Ada, ce serait vérifié à la compilation. Enfin, le langage seul vérifie déjà pas mal de choses.
[^] # Re: De l'intérêt de ces paradigmes ?
Posté par Blackknight (site web personnel, Mastodon) . En réponse au journal Des paradigmes alternatifs. Évalué à 1.
Y a une grande différence entre dire j'adore les croissants et les croissants, c'est ce qu'il y a de mieux. Le premier annonce clairement la subjectivité, le second donne un fait... Mais bon, je chipote.
Sinon, pour les Os cités, j'ai touché aux quatre... ;-)
Ici, c'est du commentaire mais en passant du Spark Ada, ce serait vérifié à la compilation. Enfin, le langage seul vérifie déjà pas mal de choses.