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=-0.6 required=5.0 tests=BAYES_00,DATE_IN_PAST_24_48
	autolearn=no 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.105.41 with SMTP id gj9mr5289727wib.3.1352353230987;
        Wed, 07 Nov 2012 21:40:30 -0800 (PST)
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Types vs Subtypes (was: Re: Copy vector in Ada)
Date: Tue, 06 Nov 2012 07:28:45 +0000
Organization: A noiseless patient Spider
Message-ID: <lyvcdjjiky.fsf_-_@pushface.org>
References: <1aWdnbcg_8-BzAzNnZ2dnUVZ_j6dnZ2d@giganews.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>
	<1ccf2169-418c-44b7-9d5a-b684a017fbe7@googlegroups.com>
	<1r3lpzblxy43h$.zytp8ur1bg27$.dlg@40tude.net>
	<op.wna877w8ule2fv@cardamome>
	<1k3sjasg1wftm$.1vlq5hm7vukhk.dlg@40tude.net>
	<op.wnbhcry0ule2fv@cardamome>
	<1sinhhpvja1gx.1ue7br8bz2slq$.dlg@40tude.net>
	<op.wnbkvsd6ule2fv@cardamome>
	<c308358c-e5bf-4bc1-a944-804499f26d13@googlegroups.com>
	<d7a2ef31-43f1-4000-af5a-d7414ec85b3f@googlegroups.com>
	<op.wnbxytxcule2fv@cardamome>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="36fd3459bdfc79b1cfb1716bdcdac508";
	logging-data="31690"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19WMf0x6gT8f1a2JqvNf2d8O6yjwgZEDG4="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (darwin)
Cancel-Lock: sha1:kkGXhj2RGFzzrgmMCzjXBdOJ5k8=
	sha1:PsOfwWUdlVJVmzSdPDFpdejYLzY=
Path: 
 q13ni187518wii.0!nntp.google.com!feeder2.cambriumusenet.nl!feeder1.cambriumusenet.nl!feed.tweaknews.nl!209.197.12.242.MISMATCH!nx01.iad01.newshosting.com!newshosting.com!216.196.98.146.MISMATCH!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!news.mccarragher.com!news.grnet.gr!de-l.enfer-du-nord.net!feeder2.enfer-du-nord.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Date: 2012-11-06T07:28:45+00:00
List-Id: <comp.lang.ada>

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> All of this also explains why a subtype is not the same as a type
> derivation (and is even the opposite), and Ada is nice to provide this
> distinction (I know no other language with this, even SML don't have
> this). At least, the existence of a notion of subtype, makes things
> like constants, parameter modes and others, describable in the own
> terms of Ada, properly (Dmitry gave a good example).

I suppose it's because I trained as a physicist, not a mathematician,
but I find I can use Ada perfectly well without worrying about all these
arcane distinctions.