Re: Declarative constraints in practical terms

From: dawn <dawnwolthuis_at_gmail.com>
Date: 1 Mar 2006 08:25:00 -0800
Message-ID: <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 Received on Wed Mar 01 2006 - 17:25:00 CET

Original text of this message