> 1. "uninitialized var usage is error": unfortunately impossible without at least one of the following compromises: Automatically initialize variables (wastes CPU); False alarms (see Java); Built-in formal proof system; or, Require compilers to solve the halting problem.

Isn't this just explaining why such useage can't be made a static error? It seems to me that raising runtime errors would avoid each of these compromises (but maybe that's clearly not what was meant).