Je comprends «invariant» dans son sens littéral. Je les reconnais également lorsque je tape du code. Mais je ne pense pas comprendre l'importance de ce terme dans le contexte de l'informatique.
Chaque fois que je lis des conversations \ livres blancs sur la conception de langages de programmeurs célèbres \ informaticiens, le terme "invariant" continue d'apparaître comme un jargon; et c'est la partie que je ne comprends pas. Qu'est-ce qui est si spécial à ce sujet?