Re: RA with MV attributes

On Jan 20, 2:29 am, Bob Badour <bbad..._at_pei.sympatico.ca> wrote:
> Marshall wrote:
> > On Jan 18, 10:13 am, Gene Wirchenko <g..._at_ocis.net> wrote:
>
> >>"Marshall" <marshall.spi..._at_gmail.com> wrote:
>
> > Right now we have disparate systems that satisfy both
> > groups. But those systems don't look anything like each
> > other, and their position on the correctness-proof
> > continuum is fixed. The question is, can we accomodate
> > both types of users in a single system? I think it's
> > possible, or at least approachable. Or at the very
> > very least, an interesting question to think about.
>
> Be careful what you wish for or you will end up with ADA.

Ha! It is a fair point.

Marshall Received on Sat Jan 20 2007 - 08:41:00 CST