On 10/02/10 20:04, Nick Keighley wrote: >>> > > In a statically typed language, the of-the-wrong-type is something which >>> > > can, by definition, be caught at compile time. >> > >> > Any time something is true "by definition" that is an indication that >> > it's not a particularly useful fact. > I'm not sure I agree. On occaision knowing something is true-by- > definition is very useful!
Something that is true by definition is just as useful as saying: "my program is correct, by definition, because my requirement is what my code is doing". It's a circular argument, your program requirement, for which the program is supposed to be tested against, is the code itself; so whatever undesirable behavior the program might have is parts of the requirement, so the program is, by definition, bug free and it's user expectation that's wrong. -- http://mail.python.org/mailman/listinfo/python-list
