Python from Wise Guy's Viewpoint

[Joe Marshall]

Joachim Durchholz <joachim.durchholz at web.de> writes:

> prunesquallor at comcast.net wrote:
>> My point is that type systems can reject valid programs.
>
> And the point of the guys with FPL experience is that, given a good
> type system [*], there are few if any practial programs that would be
> wrongly rejected.

We're stating a pretty straightforward, objective, testable hypothesis:  

  ``There exists valid programs that cannot be statically checked by
    such-and-such a system.''

and we get back
 
   `yes, but...'
   `in our experience'
   `*I've* never seen it'
   `if the type system is any good'
   `few programs'
   `no practical programs'
   `no useful programs'
   `isolated case'
   `99% of the time'
   `most commercial programs'
   `most real-world programs'
   `only contrived examples'
   `nothings perfect'
   `in almost every case'

Excuse us if we are skeptical.