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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6b881112fdc19dc4
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-28 19:22:27 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi_feed4!attbi.com!sccrnsc03.POSTED!not-for-mail
Message-ID: <3ED56ED3.8090100@attbi.com>
From: "Robert I. Eachus" <rieachus@attbi.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.0.2) Gecko/20021120 Netscape/7.01
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Problem space and solution space
References: <5115eb96.0305271934.737445e1@posting.google.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 24.62.164.137
X-Complaints-To: abuse@attbi.com
X-Trace: sccrnsc03 1054174941 24.62.164.137 (Thu, 29 May 2003 02:22:21 GMT)
NNTP-Posting-Date: Thu, 29 May 2003 02:22:21 GMT
Organization: AT&T Broadband
Date: Thu, 29 May 2003 02:22:22 GMT
Xref: archiver1.google.com comp.lang.ada:37966
Date: 2003-05-29T02:22:22+00:00
List-Id: <comp.lang.ada>

Amir Yantimirov wrote:

> The prime example of solution space thing is all sorts of
> container/collections libraries, generic or common root ones. So the
> lack of such standard libraries in Ada is a prooth of Ada's problem
> orientiness. :))

No, when developing the various libraries, the problem space is the 
class of all problems to which the solution can be mapped.

In a sense you are right though.  In Ada you tend not to have one sort 
package in your toolbox, or one list type implementation, you have 
several.  Now the programmer solving some problem sees a part of his 
decomposition that can be solved by a list package or a sort package, 
and does a generic instantiation.  The problem is that there is no easy 
way, in Ada, to express a binding to a member of the class of sort 
generics, but to delay the choice of the actual mapping.

This is why one of the features I expect interfaces to add to Ada is a 
better way of organizing collections of sort algorithms and the like.