On Wed, Jun 27, 2007 at 01:44:17PM +0200, Bruno Desthuilliers wrote: > Indeed - static typing is for compilers, not for programmers.
When done well, static typing helps the programmer -- just like writing good unit tests. It's not a magic bullet, but it can help. I'd like to point again to Mark-Jason Dominus's explanation of how strong static typing can be done well: http://perl.plover.com/yak/typing/notes.html The example toward the end of how ML actually spots an infinite loop at compile time seems to me to be "for programmers" rather than "for compilers." -- Stephen R. Laniel [EMAIL PROTECTED] Cell: +(617) 308-5571 http://laniels.org/ PGP key: http://laniels.org/slaniel.key -- http://mail.python.org/mailman/listinfo/python-list