Python from Wise Guy's Viewpoint

[prunesquallor at comcast.net]

Dirk Thierbach <dthierbach at gmx.de> writes:

> I don't see any contradiction. It's true that type systems must necessarily
> reject programs that behave well at run time, nobody is disputing that.
> These are the programs that were "taken away". Now why does a type
> system reject a program? Because there's a type mismatch in some branch
> if the program. 

*or* because the type system was unable to prove that there *isn't* a
type mismatch in *all* branches.