Re: repeating groups

From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 21 Feb 2006 09:19:32 -0800
Message-ID: <1140542372.668262.246220@f14g2000cwb.googlegroups.com>

x wrote:
> "Marshall Spight" <marshall.spight_at_gmail.com> wrote in message
> news:1140510364.302633.157300_at_g43g2000cwa.googlegroups.com...
> > dawn wrote:
>
> > > I always thought of programming as writing proofs.
> >
> > I wish it was *more* like writing proofs.
>
> I wish it was more like stating the problem, not the proof.

Uh, yeah. That's what I meant to say.

It should be more like stating theorems, and having the compiler prove them or disprove them.

Marshall Received on Tue Feb 21 2006 - 11:19:32 CST