Re: repeating groups
From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Tue, 21 Feb 2006 18:59:37 +0100
Message-ID: <43fb5506$0$11076$e4fe514c_at_news.xs4all.nl>
>
> 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.
Date: Tue, 21 Feb 2006 18:59:37 +0100
Message-ID: <43fb5506$0$11076$e4fe514c_at_news.xs4all.nl>
Marshall Spight wrote:
> x wrote:
>
>>Marshall Spight wrote: >> >>>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.
That is the prolog way. Received on Tue Feb 21 2006 - 18:59:37 CET