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,d5b211b0c1ffcf3e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Received: by 10.204.132.81 with SMTP id a17mr451841bkt.4.1339700052311;
        Thu, 14 Jun 2012 11:54:12 -0700 (PDT)
Path: 
 e27ni48299bkw.0!nntp.google.com!news1.google.com!news2.google.com!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Practicalities of Ada for app development
Date: Tue, 12 Jun 2012 08:24:44 +0200
Organization: Ada @ Home
Message-ID: <op.wfr1fiouule2fv@douda-yannick>
References: 
 <79c5c9f7-4b72-4990-8961-b3e2db4db79b@qz1g2000pbc.googlegroups.com>
 <a09a80a241191ef62e72aa46e2c449bc@dizum.com>
 <98ef69fe-f5af-485b-89b2-9358059f4582@googlegroups.com>
 <op.wfo5o0vcule2fv@douda-yannick> <1q346u53zhu10.p16uyzeau73b.dlg@40tude.net>
 <jr3ekl$p2c$1@speranza.aioe.org>
 <1us0xnzeg49gc$.oc96avhse95q$.dlg@40tude.net>
NNTP-Posting-Host: uTPxqRaRRvkKn+mV+b6EbA.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/12.00 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
Date: 2012-06-12T08:24:44+02:00
List-Id: <comp.lang.ada>

Le Mon, 11 Jun 2012 10:37:09 +0200, Dmitry A. Kazakov  =

<mailbox@dmitry-kazakov.de> a =C3=A9crit:

> On Sun, 10 Jun 2012 19:37:41 -0500, Nasser M. Abbasi wrote:
>
>> On 6/10/2012 2:47 PM, Dmitry A. Kazakov wrote:
>>
>>> It is not worth the efforts to bother about that,
>>> because, as I said, patterns is a bad idea in general.
>>
>> Have not followed the whole discussion here. But I just
>> wanted to mention on the above, is that Mathematica is based
>> on just this concept. Patterns.  It is really a pattern
>> replacement language at its core.
>>
>> For example, in Mathematica, when I define a function
>>
>> f[x_] :=3D x^2
>>
>> x_ above means the pattern x.  On the right side, the
>> pattern named x is replaced by x raised to 2. That is
>> all what Mathematica does.
>>
>> When no more pattern matching replacement can be done, the final
>> resulting expression is evaluated and the result returned.
>
> It was called macro expansion in earlier days. An idea by margin more
> horrific than patterns in their original meaning (1. A language used t=
o
> define a formal language; 2. Texture).

That's not horrific, that's pure mathematic. This equivalence by  =

substitution is an important area of the core of all math formalisms, th=
e  =

establishment of formal proofs included.

What's horrific, is wild substitution, with no wellformedness and validi=
ty  =

check of substituted expressions. Lack of substitution tracking may also=
  =

help to provide a feeling of =E2=80=9Chorrific=E2=80=9D.

What Nasser described, is expression substitution, not semantically  =

neutral text substitution.

-- =

=E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1]
=E2=80=9CStructured Programming supports the law of the excluded muddle.=
=E2=80=9D [1]
[1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers=
ity