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

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