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.
Received on Sat Jan 20 2007 - 04:29:40 CST
