The nay-sayers might be right, but I think this is an interesting suggestion. If data flow analysis is easier in a TFP language, it would certainly make my lif

The nay-sayers might be right, but I think this is an interesting suggestion. If data flow analysis is easier in a TFP language, it would certainly make my life easier (I work in the security static analysis business). It seems like it might be easier, since higher-order control flow is definitely a problem for data flow analysis, and TFP languages can't have higher-order control flow because that would open the door to arbitrary recursion. So I'm not sure what I think about this yet, except that it's interesting to chew on.