[titzer]

> 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.