Python from Wise Guy's Viewpoint

[prunesquallor at comcast.net]

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

> prunesquallor at comcast.net wrote:
>> And most people seem to think that my `black hole' `syntactic
>> construct', which does not type check under OCaml without the flag,
>> but *does* under OCaml with the flag, can be unambiguously called a
>> `program'.
>
> I'm still hoping for an explanation on the practical relevance of that
> black hole device.

Neel Krishnaswami had a wonderful explanation in article
 <slrnbplpv6.ikr.neelk at gs3106.sp.cs.cmu.edu>