comp.lang.ada
 help / color / mirror / Atom feed
From: Andrew Shvets <andrew.shvets@gmail.com>
Subject: Re: Introductory Ada Programming Book
Date: Sat, 31 Dec 2016 09:14:44 -0800 (PST)
Date: 2016-12-31T09:14:44-08:00	[thread overview]
Message-ID: <19d97016-36fa-4e23-a19b-15ad28818551@googlegroups.com> (raw)
In-Reply-To: <o48hot$19fm$1@gioia.aioe.org>

On Saturday, December 31, 2016 at 10:10:25 AM UTC-5, Dmitry A. Kazakov wrote:
> On 2016-12-31 15:26, Lucretia wrote:
> 
> > Ada basically forces you to think about your data, the way other
> > languages should, but don't. Data has ranges of allowable values and the
> > compiler will enforce their use.
> 
> It is called type or datatype. Data is a value of some type associated 
> with some problem space meaning, like employee's age is 38.
> 
> Ada does not force you, it rather offers richer than other languages 
> means to define types more suitable to annotate and handle data. You 
> still can be a real C programmer in Ada by using Integer or 
> Integer_Address for just everything.
> 
> Happy New Year!
> 
> -- 
> Regards,
> Dmitry A. Kazakov
> http://www.dmitry-kazakov.de

Exactly!  This is what I love so much about this language!  It has so many benefits, from security to software reliability to correctness of execution.  This is such a powerful portion of the language that nothing else quite compares.

I covered this topic in two chapters.  One dealt with the primitives that are already baked in the language and the second one dealt with the custom types that you mention.


  reply	other threads:[~2016-12-31 17:14 UTC|newest]

Thread overview: 38+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-12-31 13:18 Introductory Ada Programming Book Andrew Shvets
2016-12-31 14:26 ` Lucretia
2016-12-31 15:10   ` Dmitry A. Kazakov
2016-12-31 17:14     ` Andrew Shvets [this message]
2016-12-31 14:28 ` Lucretia
2016-12-31 14:34 ` Lucretia
2016-12-31 17:22   ` Andrew Shvets
2016-12-31 17:59 ` Gour
2017-01-02 15:56   ` Andrew Shvets
2017-01-02 16:32     ` Gour
2017-01-03 15:31 ` Patrick Noffke
2017-01-03 22:18   ` Andrew Shvets
2017-01-04  1:14 ` Paul Rubin
2017-01-04  3:07   ` Andrew Shvets
2017-01-04  6:46     ` J-P. Rosen
2017-01-04  9:25       ` raph.amiard
2017-01-04 12:40         ` J-P. Rosen
2017-01-04 12:49           ` Dmitry A. Kazakov
2017-01-04 13:45             ` raph.amiard
2017-01-04 14:14               ` Dmitry A. Kazakov
2017-01-04 15:15                 ` Simon Wright
2017-01-10 10:02                 ` raph.amiard
2017-01-04 15:18               ` Shark8
2017-01-04 21:47                 ` Randy Brukardt
2017-01-05  3:04                   ` Shark8
2017-01-05  7:51                     ` G.B.
2017-01-04 13:44           ` raph.amiard
2017-01-04 22:08             ` Jeffrey R. Carter
2017-01-04 22:39             ` Niklas Holsti
2017-01-05  0:38               ` G.B.
2017-01-05 23:52               ` Randy Brukardt
2017-01-05  6:36             ` J-P. Rosen
2017-01-05  8:38               ` Simon Wright
2017-01-10 10:13               ` raph.amiard
2017-01-09 22:01             ` Robert Eachus
2017-01-04 23:42 ` Andrew Shvets
2017-01-05  0:47   ` G.B.
2017-01-05 19:01   ` Jacob Sparre Andersen
replies disabled

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