Python from Wise Guy's Viewpoint

[prunesquallor at comcast.net]

Dirk Thierbach <dthierbach at gmx.de> writes:

> prunesquallor at comcast.net wrote:
>> I don't understand why you think that most of them will be `dead code'.
>
> Because otherwise the code will be executed, and this will result
> in a crash -- there must be a reason why the type checker complains.

Allow me to rephrase:  I don't understand why you think *most* of them
will be dead code.  Aren't there other cases where the type checker
would complain?


>
>> I don't understand why a smart type checker would complain about dead
>> code.
>
> Because in general, it is not decidable if some part of the code will
> be executed or not (halting problem).
>
> - Dirk