From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,587e0e0a16d65b10
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!l37g2000vba.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Invade wikipedia!
Date: Tue, 24 Feb 2009 12:08:40 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <7697f632-84ec-4407-a972-0e894050cb4b@l37g2000vba.googlegroups.com>
References: <l6k0og.o0o.ln@hunter.axlog.fr>
 <49a415c4$0$32675$9b4e6d93@newsspool2.arcor-online.net>
	<08cbf95f-1a72-4a93-8c21-55b1411b6608@j12g2000vbl.googlegroups.com>
	<1vhhgh70vdwz4.1qyqu9gq8dyx0.dlg@40tude.net>
NNTP-Posting-Host: 79.91.74.142
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1235506120 31124 127.0.0.1 (24 Feb 2009 20:08:40
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 24 Feb 2009 20:08:40 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: l37g2000vba.googlegroups.com; posting-host=79.91.74.142;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:3773
Date: 2009-02-24T12:08:40-08:00
List-Id: <comp.lang.ada>

On 24 f=E9v, 20:59, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
> I doubt it. The idea of algorithms is imperative, and thus constructive. =
In
> contrast to this declarative descriptions are often non-constructive.
> Compare a differential equation (declarative description of a solution) t=
o
> an algorithm of solving the equation.
>
> --
> Regards,
> Dmitry A. Kazakovhttp://www.dmitry-kazakov.de

It is a fact that the most effective (or good enough) implementation
of an algorithm is most of time the most effective (or good enough)
implementation which fulfill a requirement. Efficient implementations
looks very different to the expression of the algorithm. Thus, what we
finally want, is not the implementation of an algorithm, but rather,
the implementation of something which fulfill a request/requirement...
requirements/request which are better expressed in declarative ways.

Beside of that, this is the basic of the client/solution-provider
relationship.