Pascal Costanza costanza at web.de
Fri Oct 24 17:22:50 EDT 2003

• Previous message (by thread): Python from Wise Guy's Viewpoint
• Next message (by thread): Python from Wise Guy's Viewpoint
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

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)

---

• Previous message (by thread): Python from Wise Guy's Viewpoint
• Next message (by thread): Python from Wise Guy's Viewpoint
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

More information about the Python-list mailing list