|
|
|
|
|
by JadeNB
3970 days ago
|
|
> 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). |
|