From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: What if Red had won? [Or Blue?]
Date: Fri, 19 Jul 2013 23:27:36 +0200
Date: 2013-07-19T23:27:36+02:00 [thread overview]
Message-ID: <op.w0hm8awnule2fv@cardamome> (raw)
In-Reply-To: ks830m$557$1@dont-email.me
Le Thu, 18 Jul 2013 08:52:48 +0200, Jeffrey Carter
<spam.jrcarter.not@spam.not.acm.org> a écrit:
> My recollection is that Ichbiah said the revision was creating "Ada with
> null." He wanted a notation that used the reserved word "class":
>
> class type T is record ...
>
> He objected to "tagged" as being about the way the concept was
> implemented, while "class" would be about the concept.
He was partly wrong, as the tagged union is one of the existing ways to
formally express the concept, and is not limited to implementation
wordings:
https://en.wikipedia.org/wiki/Tagged_union
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University
next prev parent reply other threads:[~2013-07-19 21:27 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-17 1:08 What if Red had won? [Or Blue?] Shark8
2013-07-17 3:54 ` Bill Findlay
2013-07-17 5:31 ` Shark8
2013-07-17 5:43 ` Nasser M. Abbasi
2013-07-17 6:20 ` Simon Wright
2013-07-17 6:40 ` Nasser M. Abbasi
2013-07-17 6:58 ` Jeffrey Carter
2013-07-18 5:48 ` Shark8
2013-07-18 6:20 ` J-P. Rosen
2013-07-18 6:52 ` Jeffrey Carter
2013-07-19 21:27 ` Yannick Duchêne (Hibou57) [this message]
2013-07-17 9:46 ` Strawman
2013-07-18 5:48 ` Shark8
2013-07-17 23:30 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox