Dirk Thierbach dthierbach at gmx.de
Fri Oct 24 19:50:29 EDT 2003

• Previous message (by thread): Python from Wise Guy's Viewpoint
• Next message (by thread): Python from Wise Guy's Viewpoint
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

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

---

• Previous message (by thread): Python from Wise Guy's Viewpoint
• Next message (by thread): Python from Wise Guy's Viewpoint
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

More information about the Python-list mailing list