Capisco "invariante" nel suo senso letterale. Li riconosco anche quando scrivo il codice. Ma non credo di capire l'importanza di questo termine nel contesto dell'informatica.
Ogni volta che leggo conversazioni \ white paper sulla progettazione linguistica di famosi programmatori \ informatici, il termine "invariante" continua a comparire come un gergo; e questa è la parte che non capisco. Cosa c'è di così speciale?