Python from Wise Guy's Viewpoint

[Marshall Spight]

<prunesquallor at comcast.net> wrote in message news:ptgle760.fsf at comcast.net...
> Dirk Thierbach <dthierbach at gmx.de> writes:
>
> My point is that type systems can reject valid programs.

Agreed. But: does it matter? One thing that would help
in figuring out if it matters or not would be seeing a
small, useful program that cannot be proven typesafe.

If these programs are "all around us," and writing equivalent
typesafe programs is somewhat harder, then it matters.
If these programs are hard to come across, and writing
equivalent typesafe programs is easy, then this doesn't
matter.


Marshall