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,66fae8c862b81b17
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Received: by 10.180.79.138 with SMTP id j10mr2129922wix.1.1352353209307;
        Wed, 07 Nov 2012 21:40:09 -0800 (PST)
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Copy vector in Ada
Date: Mon, 05 Nov 2012 17:30:45 +0100
Organization: Ada @ Home
Message-ID: <op.wna6tj0eule2fv@cardamome>
References: <1aWdnbcg_8-BzAzNnZ2dnUVZ_j6dnZ2d@giganews.com>
 <k6rk3m$fu6$1@dont-email.me>
 <559eb706-9bb1-496d-9034-1984d693531a@googlegroups.com>
 <op.wm48fcpwule2fv@cardamome>
 <5460fdc7-5490-4889-b771-67cc281c10c5@googlegroups.com>
 <op.wm56yo11ule2fv@cardamome>
 <f37a66a6-3cca-4f4c-85ce-efb95ca4af57@googlegroups.com>
 <op.wm7fsuxjule2fv@cardamome> <op.wm7f72j3ule2fv@cardamome>
 <6260a796-83c4-4ce5-88cb-8249846bc035@googlegroups.com>
 <10y91ckm54l57$.8u8bbq342u1b.dlg@40tude.net>
 <2164bc1a-a841-46ed-bfef-4ddcae4d64f7@googlegroups.com>
 <uti0vhlidr0b$.4tkmig1870rr$.dlg@40tude.net>
NNTP-Posting-Host: 80Danr8LSk+wZCZOQUcJiA.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/12.02 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Path: 
 ha8ni167505wib.1!nntp.google.com!feeder3.cambriumusenet.nl!82.197.223.108.MISMATCH!feeder2.cambriumusenet.nl!feed.tweaknews.nl!209.197.12.246.MISMATCH!nx02.iad01.newshosting.com!newshosting.com!216.196.98.146.MISMATCH!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news.mccarragher.com!news.grnet.gr!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!cs.uu.nl!news.stack.nl!aioe.org!.POSTED!not-for-mail
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
Date: 2012-11-05T17:30:45+01:00
List-Id: <comp.lang.ada>

Le Mon, 05 Nov 2012 09:31:41 +0100, Dmitry A. Kazakov  =

<mailbox@dmitry-kazakov.de> a =C3=A9crit:
> * FSA, type systems etc are far too weak to capture complex structures=
  =

> like
> real numbers or geometric shapes. This is why the programmer always kn=
ows
> better. There cannot be a universal computer model of either.

Or even simple dimensional numbers, like speed, acceleration, density, =E2=
=80=A6


-- =

=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