Correction:

>But the most important implication is, that the complicated checks you are
>worried about should disappear because it is not understood that the
>semantics is relegated to the human programmer.

should be:

it is understood that the semantics is relegated to the human programmer.

[runtime error, right?]
Joseph Alba
jalba@...