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: Thu, 26 Jul 2018 20:01:22 -0700
Organization: A noiseless patient Spider
Message-ID: <878t5xl6v1.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>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="465eefdafb258f2581187c15f86634f1";
	logging-data="4084"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/m69F1rDpvFgQ9fC4Y2Iwa"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
Cancel-Lock: sha1:86ryCcYPJVSZru5lYZ3N+Ial5Do=
	sha1:RonQSS0vxwO05JMdxNyFaxib/Sg=
Xref: reader02.eternal-september.org comp.lang.ada:53974
Date: 2018-07-26T20:01:22-07:00
List-Id: <comp.lang.ada>

"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> writes:
>> http://blog.kickin-the-darkness.com/2007/08/fundamental-theory-of-ada.html
>> is one of the best things I've seen simply explaining the Ada mindset.
> This gives me a Server Not Found error.

Wayback has it: 

https://web.archive.org/web/20120211105920/http://blog.kickin-the-darkness.com/2007/08/fundamental-theory-of-ada.html

I remember reading it a while back and thinking it was interesting but
not amazing.  It explains that the Ada type system connects a bunch of
useful info with any variable, and that's important, but there are many
other aspects of Ada that are also important.