What is an invariant?
16:57 21 Sep 2008

The word seems to get used in a number of contexts. The best I can figure is that they mean a variable that can't change. Isn't that what constants/finals (darn you Java!) are for?

language-agnostic invariants