Re: Ada Distilled by Richard Riehle

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 07/26/2018 10:17 PM, Shark8 wrote:
> 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.)

I thought the secret of Ada was visibility. As it says in /Ada Distilled/, "Once 
you understand visibility, nearly everything else about Ada will be clear to you."

Visibility is similar to the secret of S/W engineering: encapsulation and 
information hiding.

> 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.

This gives me a Server Not Found error.

-- 
Jeff Carter
"I unclog my nose towards you."
Monty Python & the Holy Grail
11