Last week, if you recall, we were looking at the link between lattices and constant propragation. Lattices are how we describe the kinds of "constants" we can discover.
Before we dive into extending our lattice into even more exciting forms, I want to talk about properties of the lattice directly. We need some properties or we're doomed - but there are some properties that we want that are less obvious.
I've been finding waaaaay too many Generic Popular Frameworks (TM) that in fact write to final fields long after the constructor has flowed under the bridge...so I need to optimize final fields for people who "play by the rules", but Do The Expected Thing for those that don't.