[neilparikh]

> provides strictly fewer choices when problem solving.

If you view programming as trying to avoid writing the "wrong" program from the state space of all programs, this is a good thing.

I guess it's a matter of priorities/viewpoints: whether your goal is to make writing the correct program easier, or make writing incorrect programs harder.