From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Beginning Ada Programming, by Andrew T. Shvets (2020)
Date: Tue, 3 Dec 2019 04:11:09 -0800 (PST)
Date: 2019-12-03T04:11:09-08:00 [thread overview]
Message-ID: <57d49047-0a61-4d13-8822-d004732a3acc@googlegroups.com> (raw)
In-Reply-To: <87muca3vgd.fsf@nightsong.com>
Am Dienstag, 3. Dezember 2019 05:05:27 UTC+1 schrieb Paul Rubin:
> This is not out yet, but it looks interesting and is due at the end of
> the month:
>
> https://www.springer.com/us/book/9781484254271
>
> Is the author the same Andrew Shvets who posts here sometimes?
Yes, he is. I had a little conversation on the very first edition with him.
I esp. objected that he started his examples with using Integer rather than user-defined types (which IMHO is the very heart of Ada). I do not know whether he changed this.
The very first exercise in my basic Ada course was to find a type definition for a given problem: What is the range of values you expect to need? Just using Integer here is like cheating - i.e. refusal to think about the problem.
> Andrew if you're here, what does the book cover in terms of e.g. new Ada
> features, SPARK, etc.?
>
> It's great that new books are coming out about Ada.
Anyway, it's favorable that there is another Ada book out there now that is up to date.
next prev parent reply other threads:[~2019-12-03 12:11 UTC|newest]
Thread overview: 82+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-12-03 4:05 Beginning Ada Programming, by Andrew T. Shvets (2020) Paul Rubin
2019-12-03 12:11 ` AdaMagica [this message]
2019-12-03 12:33 ` Lucretia
2019-12-03 13:21 ` J-P. Rosen
2019-12-03 13:57 ` Lucretia
2019-12-03 14:04 ` AdaMagica
2019-12-03 14:15 ` AdaMagica
2019-12-03 14:39 ` Simon Wright
2019-12-03 14:45 ` Shark8
2019-12-03 17:38 ` J-P. Rosen
2019-12-03 15:04 ` Lucretia
2019-12-03 15:29 ` Optikos
2019-12-03 16:06 ` Lucretia
2019-12-03 16:26 ` Optikos
2019-12-03 16:50 ` Lucretia
2019-12-03 17:02 ` Shark8
2019-12-03 17:29 ` AdaMagica
2019-12-05 16:35 ` Dirk Heinrichs
2019-12-05 17:12 ` AdaMagica
2019-12-09 19:08 ` Dirk Heinrichs
2019-12-06 18:34 ` Shark8
2019-12-06 20:29 ` Jeffrey R. Carter
2019-12-06 21:05 ` Shark8
2019-12-07 0:47 ` Randy Brukardt
2019-12-14 4:21 ` Keith Thompson
2019-12-14 11:34 ` AdaMagica
2019-12-03 17:39 ` Optikos
2019-12-03 19:12 ` Paul Rubin
2019-12-14 4:34 ` Paul Rubin
2020-04-17 5:14 ` Andrew Shvets
2020-04-17 6:17 ` Teaching Ada types J-P. Rosen
2020-04-29 13:07 ` Mehdi Saada
2020-04-29 21:25 ` Paul Rubin
2020-04-17 4:27 ` Beginning Ada Programming, by Andrew T. Shvets (2020) Andrew Shvets
2020-04-17 12:44 ` Ludovic Brenta
2020-04-17 13:07 ` Jere
2020-04-17 14:31 ` Optikos
2019-12-03 20:40 ` Björn Lundin
2020-04-17 4:16 ` Andrew Shvets
2020-04-17 4:11 ` Andrew Shvets
2020-04-17 15:32 ` Luke A. Guest
2020-04-17 4:10 ` Andrew Shvets
2020-04-17 5:02 ` Andrew Shvets
2020-04-17 4:08 ` Andrew Shvets
2019-12-03 19:14 ` Paul Rubin
2019-12-04 6:47 ` J-P. Rosen
2019-12-04 6:49 ` J-P. Rosen
2019-12-04 9:46 ` Paul Rubin
2020-04-17 4:07 ` Andrew Shvets
2020-04-17 5:49 ` J-P. Rosen
2020-04-17 17:59 ` AdaMagica
2020-04-17 19:28 ` Optikos
2020-04-18 15:29 ` AdaMagica
2020-04-18 16:34 ` cantanima.perry
2020-04-18 17:59 ` Jere
2020-04-18 21:54 ` cantanima.perry
2020-04-18 22:18 ` Luke A. Guest
2020-04-18 22:33 ` Jere
2020-04-19 0:52 ` Jere
2020-04-19 2:23 ` Keith Thompson
2020-04-18 22:37 ` Jere
2020-04-19 0:42 ` Paul Rubin
2020-05-02 19:13 ` dave_thompson_2
2020-04-23 18:43 ` Andrew Shvets
2020-04-23 21:07 ` Paul Rubin
2020-04-23 21:33 ` Optikos
2020-04-23 21:42 ` Paul Rubin
2020-04-24 14:42 ` Optikos
2020-04-24 15:35 ` Dennis Lee Bieber
2020-04-30 8:01 ` Paul Rubin
2020-04-23 18:45 ` Andrew Shvets
2020-11-02 21:14 ` Norman Worth
2020-04-17 4:04 ` Andrew Shvets
2019-12-10 5:17 ` Jerry
2020-04-17 3:58 ` Andrew Shvets
2020-05-09 12:39 ` Chris Collings
2020-10-03 4:23 ` andrew...@gmail.com
2020-10-28 19:21 ` sany...@gmail.com
2020-11-11 1:41 ` Azathoth Hastur
2020-11-12 21:24 ` Shark8
2020-11-12 22:31 ` Chris Townley
2020-11-17 20:48 ` azathot...@gmail.com
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox