Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

< jaybonci> actually d-i stands for "divine intervention" ;) -- in #debian-devel


devel / comp.lang.ada / Re: who needs types? Types makes code ugly.

SubjectAuthor
* who needs types? Types makes code ugly.Nasser M. Abbasi
+* Re: who needs types? Types makes code ugly.Doctor Who
|`* Re: who needs types? Types makes code ugly.Dmitry A. Kazakov
| +* Re: who needs types? Types makes code ugly.Nasser M. Abbasi
| |`- Re: who needs types? Types makes code ugly.Dmitry A. Kazakov
| +- Re: who needs types? Types makes code ugly.Stéphane Rivière
| `- Re: who needs types? Types makes code ugly.Jerry
+- Re: who needs types? Types makes code ugly.Jeffrey R.Carter
+* Re: who needs types? Types makes code ugly.ldries46
|`* Re: who needs types? Types makes code ugly.Ben
| `* Re: who needs types? Types makes code ugly.John Perry
|  `* Re: who needs types? Types makes code ugly.Ben
|   `* Re: who needs types? Types makes code ugly.Dennis Lee Bieber
|    `* Re: who needs types? Types makes code ugly.Ben
|     `* Re: who needs types? Types makes code ugly.Niklas Holsti
|      +- Re: who needs types? Types makes code ugly.John Perry
|      +- Re: who needs types? Types makes code ugly.Ben
|      `* Re: who needs types? Types makes code ugly.Randy Brukardt
|       +- What's new in Ada 2022? (was: Re: who needs types? Types makes code ugly.)Dirk Craeynest
|       `* Re: who needs types? Types makes code ugly.Wesley Pan
|        +- Re: who needs types? Types makes code ugly.Paul Rubin
|        `* Re: who needs types? Types makes code ugly.Randy Brukardt
|         `* Re: who needs types? Types makes code ugly.Dirk Craeynest
|          +- Re: who needs types? Types makes code ugly.Paul Rubin
|          `- Re: who needs types? Types makes code ugly.Randy Brukardt
`- Re: who needs types? Types makes code ugly.Keith Thompson

Pages:12
Re: who needs types? Types makes code ugly.

<t8qptl$gof$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=7064&group=comp.lang.ada#7064

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ran...@rrsoftware.com (Randy Brukardt)
Newsgroups: comp.lang.ada
Subject: Re: who needs types? Types makes code ugly.
Date: Mon, 20 Jun 2022 16:40:06 -0500
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <t8qptl$gof$1@dont-email.me>
References: <t79ab6$a4v$1@gioia.aioe.org> <t7e8v9$3et$1@dont-email.me> <66a25bd1-e92c-477a-95da-5d365a6967a2n@googlegroups.com> <t8jbuo$hov$1@dont-email.me> <t8k9de$54l$1@dont-email.me>
Injection-Date: Mon, 20 Jun 2022 21:47:34 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="58ae5e8bcd39845de9e7a19af4c1f4e0";
logging-data="17167"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/3Q5YtsoxY8USs4IARZNznUutUcFwHVLM="
Cancel-Lock: sha1:47xRRA1SwnEgdpwMLEUVBQudfZI=
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
X-RFC2646: Format=Flowed; Original
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-Priority: 3
X-MSMail-Priority: Normal
 by: Randy Brukardt - Mon, 20 Jun 2022 21:40 UTC

"Dirk Craeynest" <dirk@orka.cs.kuleuven.be.> wrote in message
news:t8k9de$54l$1@dont-email.me...
>>> On Friday, June 3, 2022 at 5:28:28 PM UTC-7, Randy Brukardt wrote:
>>>> It is not likely that there will be an Ada 2022 Rationale, as no one
>>>> has stepped up to write it or pay John Barnes write it. The closest
>>>> thing we have is the Jeff Cousins overview, which I can't find an
>>>> on-line reference to (or my copy, for that matter). I'll check with
>>>> Jeff and hopefully get more information.
>
In article <t8jbuo$hov$1@dont-email.me>,
> Randy Brukardt <randy@rrsoftware.com> wrote:
....
>> I did get a copy of Jeff Cousin's overview that I'll put up on
>> Ada-Auth.org when I get time (probably not until next month).
>
> See my follow-up to Randy's June 3 posting quoted above, that I
> posted on 4 Jun in this newsgroup with subject "What's new in Ada
> 2022?" (copied below).
....
> - John Barnes wrote a 46 page overview on what's new in Ada 2022;
> it is available as a new appendix in his latest book "Programming
> in Ada 2012 with a Preview of Ada 2022";
>
> - Jeff Cousin's overview was published in the Ada User Journal (AUJ),
> and is already available in the online AUJ archive.

Correct. The version of Jeff's overview I have is quite a bit newer than the
version from the AUJ, and has many errors corrected. So I would suggest
reading that version rather than the original AUJ version (but of course,
only once I can get it posted).

Randy.

Pages:12
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor