Python from Wise Guy's Viewpoint

[Dirk Thierbach]

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.

> 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