comp.lang.ada
 help / color / mirror / Atom feed
From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Ada Distilled by Richard Riehle
Date: Thu, 26 Jul 2018 13:17:46 -0700 (PDT)
Date: 2018-07-26T13:17:46-07:00	[thread overview]
Message-ID: <d0e88613-df8a-4d04-b76e-b2c68d3ba735@googlegroups.com> (raw)
In-Reply-To: <2212eb54-cb4a-446f-9cdf-287ef220e2c2@googlegroups.com>

On Wednesday, July 25, 2018 at 6:43:00 PM UTC-6, rabbi...@gmail.com wrote:
> It has been on GetAdaNow.com since it started, I was really hoping for an update. It is an important work. It gets a developer into the right mindset for Ada. I met Richard many years ago and he sat me down and explained the secret of Ada, its all about types.
> 
> David Botton

That's what I think; but there's also a surprising amount of it that's about sets, too. (Someone here on comp.lang.ada made a really convincing illustration of how/where the language uses sets; I wish I could find the discussion.)

The blog-post here 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.

Would you happen to recall what Richard said that so convinced you about it?

  reply	other threads:[~2018-07-26 20:17 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-07-15 18:09 Ada Distilled by Richard Riehle rabbibotton
2018-07-16  1:02 ` Shark8
2018-07-21  6:07   ` Randy Brukardt
2018-07-26  0:42     ` rabbibotton
2018-07-26 20:17       ` Shark8 [this message]
2018-07-26 21:10         ` Jeffrey R. Carter
2018-07-27  3:01           ` Paul Rubin
2018-07-27 14:32           ` rabbibotton
2018-07-27 20:18             ` Paul Rubin
2018-07-27 17:02           ` Shark8
2018-07-27 14:30         ` rabbibotton
2018-07-27 17:11           ` Shark8
2018-07-27 18:52             ` Dan'l Miller
2018-07-27 20:07               ` Dmitry A. Kazakov
2018-07-27 20:38                 ` Dan'l Miller
2018-07-27 21:32                   ` Dmitry A. Kazakov
2018-07-28  2:41                     ` Dan'l Miller
2018-07-28  7:10                       ` Dmitry A. Kazakov
2018-07-28 15:01                         ` Dan'l Miller
2018-07-28 15:41                           ` Dmitry A. Kazakov
2018-07-28 16:05                             ` Dan'l Miller
2018-08-06 19:33                             ` Vincent
2018-08-06 22:01                               ` Dmitry A. Kazakov
2021-12-09 11:13                                 ` Kevin Chadwick
2018-07-27 21:34                 ` Shark8
2018-07-27 22:16                   ` Dmitry A. Kazakov
2018-07-28  3:52                 ` Dan'l Miller
2018-07-28  7:12                   ` Dmitry A. Kazakov
2018-07-27 20:35               ` Paul Rubin
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox