Well, the purpose of types is to enable design by contract among other things. Therefore, I am also a bit dubious about IFC. It seems to me that Data Flow Anal

Well, the purpose of types is to enable design by contract among other things. Therefore, I am also a bit dubious about IFC. It seems to me that Data Flow Analysis is more suitable. We are essentially hinting at the same thing I guess, but I expect some type system tie-ins. Otherwise it might become too abstract.