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: a07f3367d7,25d835bb9a4a003f
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!d10g2000yqh.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: Types, packages & objects : the good old naming conventions
	question (without religious ware)
Date: Fri, 30 Oct 2009 22:44:35 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <ff9ce978-6d7b-468f-9cfc-71eb372ac847@d10g2000yqh.googlegroups.com>
References: 
 <ae7fb66b-4eff-405f-b568-77a1047ec6cb@n35g2000yqm.googlegroups.com>
	<4ae9dade$0$6551$9b4e6d93@newsspool4.arcor-online.net>
 <u4oph6tn2.fsf@stephe-leake.org>
	<hcfcur$opp$1@news.tornevall.net>
 <30ad5ea8-955e-45c0-ae94-c84927cdb2b8@d5g2000yqm.googlegroups.com>
	<c018669e-645e-4aa8-8ac3-550973a38b42@p8g2000yqb.googlegroups.com>
NNTP-Posting-Host: 86.66.190.252
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1256967875 1097 127.0.0.1 (31 Oct 2009 05:44:35
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 31 Oct 2009 05:44:35 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: d10g2000yqh.googlegroups.com; posting-host=86.66.190.252;
	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: g2news2.google.com comp.lang.ada:8906
Date: 2009-10-30T22:44:35-07:00
List-Id: <comp.lang.ada>

On 31 oct, 06:30, Hibou57 (Yannick Duch=EAne) <yannick_duch...@yahoo.fr>
wrote:
> [...] simply because any instance, may be subject to become
> a typical representation of an abstraction as soon as it is notices
> that it has finally some property which makes it different from others
This make me think that the natural language is better at analysis
than it is at expressing static architecture based on formalism after
analysis.

this is not surprising, from thousands years, we are more busy at
trying to understand things, come back on a previous understanding and
reworking it (this is why it is useful to be able to have a thing
which is both things). The natural language is after all perhaps
better at always-moving things rather than at well-elaborated-and-
expected-stable things.

Hey boys and girls... you know what ? I think the natural language is
an untyped loosy structured language 8-| We should rework it in
whooole and send a long spicy disclaimer to its author.