Subj : Re: Rollback Functions
To   : comp.programming
From : Rob Thorpe
Date : Wed Oct 12 2005 07:34 am

Dave wrote:
> Jon Harrop wrote:
> > Phlip wrote:
> >
> >>Research "Test Driven Development". Prevention is better than a cure.
> >
> >
> > Better still, ditch "test driven development" and use OCaml for its static
> > checking to avoid most of the problems in the first place and its
> > time-reversible debugger that already implements Yao's suggestion.
> >
>
> Switching to a different language won't stop bugs happening.  A company
> I worked for a few years ago analysed a project at the end of its
> development cycle that was written half in C and half in Ada.  The study
> revealed NO SIGNIFICANT DIFFERENCE in the number and complexity of bugs
> in the C and Ada halves.

I would agree that in many cases there is little difference.  But I
wouldn't say that your experience proves it, C and Ada are really quite
similar languages.  Both are typed in a fairly similar way and have
similar features.

The difference most often comes when the program in one language is
drastically shorter than the program in another.  Allowing it to be
understood more easily by a human and debugged more easily.

.