Re: Declarative constraints in practical terms

From: x <x_at_not-exists.org>
Date: Mon, 6 Mar 2006 14:51:40 +0200
Message-ID: <duhb8u$vsa$1_at_emma.aioe.org>


"dawn" <dawnwolthuis_at_gmail.com> wrote in message news:1141230300.386065.194130_at_v46g2000cwv.googlegroups.com...
> x wrote:
> > "dawn" <dawnwolthuis_at_gmail.com> wrote in message
> > news:1141227907.113061.191620_at_t39g2000cwt.googlegroups.com...
> >
> > > Then at the top level, what we are doing when we write software is a
> > > command.
> >
> > We think it is a command.
> > The computer might think it is not. :-)

> Yes, I can see that perspective. We can write statements that complete
> the machine. Snooze.

> > > We are commanding the computer to do something, right?

> That's how I see it. It doesn't do what I want. Then I tell it what
> to do. Then it does what I want.

> > And the computer would listen. Right. :-)

> In it's own way.

> > >It seems it would make sense, then, to eat the elephant one bite at a
> > > time. Maybe? --dawn
> >
> > I don't eat elephants.

> Some people like theorems, others like proofs. Cheers! --dawn

Divide et impera
Divide and govern Received on Mon Mar 06 2006 - 13:51:40 CET

Original text of this message