Python from Wise Guy's Viewpoint
Pascal Costanza
costanza at web.de
Fri Oct 24 17:22:50 EDT 2003
Marshall Spight wrote:
> "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. :-)
Have you ever used a program that has required you to enter a number?
The check whether you have really typed a number is a dynamic check, right?
Pascal
--
Pascal Costanza University of Bonn
mailto:costanza at web.de Institute of Computer Science III
http://www.pascalcostanza.de Römerstr. 164, D-53117 Bonn (Germany)
More information about the Python-list
mailing list