> when they're actually very stupid in terms of the number of decisions available to them. I don't think this is a fair characterization, though I agree overal

> when they're actually very stupid in terms of the number of decisions available to them. I don't think this is a fair characterization, though I agree overall that ML has a lot of potential in compiler optimization.