Python from Wise Guy's Viewpoint

[Marshall Spight]

"Pascal Costanza" <costanza at web.de> wrote in message news:bnbafk$uu6$1 at f1node01.rhrz.uni-bonn.de...
> ... there exist programs that work but
> that cannot be statically typechecked. These programs objectively exist.
> By definition, I cannot express them in a statically typed language.

I agree these programs exist.

It would be really interesting to see a small but useful example
of a program that will not pass a statically typed language.
It seems to me that how easy it is to generate such programs
will be an interesting metric.

Anyone? (Sorry, I'm a static typing guy, so my brain is
warped away from such programs. :-)


Marshall