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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ada Distilled by Richard Riehle
Date: Fri, 27 Jul 2018 13:18:49 -0700
Organization: A noiseless patient Spider
Message-ID: <87r2joe8k6.fsf@nightsong.com>
References: <c65ea05a-492c-4941-abab-0416ea64ffee@googlegroups.com>
	<72ccb7fa-a9cb-42e6-8c29-3c06da281a45@googlegroups.com>
	<piuij8$n89$1@franka.jacob-sparre.dk>
	<2212eb54-cb4a-446f-9cdf-287ef220e2c2@googlegroups.com>
	<d0e88613-df8a-4d04-b76e-b2c68d3ba735@googlegroups.com>
	<pjddc0$s6j$1@dont-email.me>
	<29ce16bb-74da-42d5-b65a-608edf0c74f9@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="465eefdafb258f2581187c15f86634f1";
	logging-data="4863"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+KXHcVLjvcraaGXqfq5tFi"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
Cancel-Lock: sha1:zMG7g36CnZzBx2pma2CTNN0El+w=
	sha1:xm060Nul7D6SXpNwvSs5bpqk2OM=
Xref: reader02.eternal-september.org comp.lang.ada:53984
Date: 2018-07-27T13:18:49-07:00
List-Id: <comp.lang.ada>

rabbibotton@gmail.com writes:
> Ada has many talents, its type system is unique in modern languages.

I'd be interested in a description of how it's unique.  I like that
there are integer range types, though it's very hard to check statically
that a value is guaranteed to be in the permitted range.  The other
parts of Ada's type system that I've encountered seem pretty standard,
though I know there are parts that I haven't looked at and don't
understand.