What do we really know about the differences between static and dynamic types?
The ObjectStore Database System - Lamb