Python or Java or maybe PHP?

Mike Meyer mwm at
Mon Jan 2 20:26:39 EST 2006

Steven D'Aprano <steve at> writes:
> On Mon, 02 Jan 2006 19:35:10 -0500, Mike Meyer wrote:
>> What SPARK papers I have
>> found concentrate more on correctness than productivity: IIRC, they
>> claim millions of lines of production code with no errors.
> Writing error-free code is easy. That's just a matter of incremental
> improvement of error-full code.

*Proving* that it's error-free is the hard part.

> Writing error-free code *the first time* is hard. One wonders how many
> edit-compile-test cycles it takes to get these millions of lines of
> error-free code.

Dunno. But the SPARK folks are doing things where errors kill people
(airplane flight control systems being the example that comes to
mind). The amount they're willing to spend getting error-free code is
probably more than it is for most people.

Mike Meyer <mwm at>
Independent WWW/Perforce/FreeBSD/Unix consultant, email for more information.

More information about the Python-list mailing list