Python or Java or maybe PHP?

[Steven D'Aprano]

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.

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.


-- 
Steven.