RE: [FormProc-developer] Re: Why FormProc? Was RE: [ANN] JPublish 0.8 Released

[Anthony E. <me...@an...>]

<snip>

> >That's why I love open source. ;-)  Another thing to 
> consider: a good 
> >development cycle includes testing.  Thus, your testing 
> should locate 
> >problems before going into production and you should be 
> testing whether 
> >or not you compile, right?  So is the compiling still a 
> necessary step?
> 
> Debugging other people's code is not my idea of fun, open source 
> notwithstanding.

Really...I find it to be just a barrel of laughs. ;-)

> 
> Compilers check static correctness, testing checks dynamic 
> (behavioral) correctness. You need both.

If you can prove behavioral correctness aren't you proving static
correctness at the same time?  I mean, in the end it has to be
statically correct to work, right?

Sincerely,
Anthony Eden