From: Wesley Pan <wesley.y.pan@gmail.com>
Subject: Re: who needs types? Types makes code ugly.
Date: Fri, 17 Jun 2022 10:33:07 -0700 (PDT) [thread overview]
Message-ID: <66a25bd1-e92c-477a-95da-5d365a6967a2n@googlegroups.com> (raw)
In-Reply-To: <t7e8v9$3et$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.
>
> Randy.
How much would it likely cost to pay someone to generate the Ada2022 rationale? Maybe the community can join together to help fund the work?
-Wesley
next prev parent reply other threads:[~2022-06-17 17:33 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-06-02 3:21 who needs types? Types makes code ugly Nasser M. Abbasi
2022-06-02 8:00 ` Doctor Who
2022-06-02 8:37 ` Dmitry A. Kazakov
2022-06-02 10:08 ` Nasser M. Abbasi
2022-06-02 10:39 ` Dmitry A. Kazakov
2022-06-02 13:22 ` Stéphane Rivière
2022-06-06 23:26 ` Jerry
2022-06-02 10:47 ` Jeffrey R.Carter
2022-06-02 11:47 ` ldries46
2022-06-02 15:02 ` Ben
2022-06-02 22:10 ` John Perry
2022-06-03 0:02 ` Ben
2022-06-03 3:37 ` Dennis Lee Bieber
2022-06-03 18:13 ` Ben
2022-06-03 18:34 ` Niklas Holsti
2022-06-03 20:27 ` John Perry
2022-06-03 20:56 ` Ben
2022-06-04 0:28 ` Randy Brukardt
2022-06-04 12:05 ` What's new in Ada 2022? (was: Re: who needs types? Types makes code ugly.) Dirk Craeynest
2022-06-17 17:33 ` Wesley Pan [this message]
2022-06-17 20:46 ` who needs types? Types makes code ugly Paul Rubin
2022-06-18 2:06 ` Randy Brukardt
2022-06-18 10:29 ` Dirk Craeynest
2022-06-18 22:16 ` Paul Rubin
2022-06-20 21:40 ` Randy Brukardt
2022-06-02 17:28 ` Keith Thompson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox