Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

The disks are getting full; purge a file today.

devel / comp.lang.ada / Beaujolais Challenge

SubjectAuthor
* Beaujolais Challengejklsemicolon
`* Re: Beaujolais ChallengeJ-P. Rosen
 +- Re: Beaujolais ChallengeDirk Craeynest
 `- Re: Beaujolais ChallengeRandy Brukardt

1
Beaujolais Challenge

<939678797@f172.n1.z21.fsxnet>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.bbs.nz!.POSTED.agency.bbs.nz!not-for-mail
From: jklsemicolon@f172.n1.z21.fsxnet (jklsemicolon)
Newsgroups: comp.lang.ada
Subject: Beaujolais Challenge
Date: Sun, 10 Dec 2023 12:34:03 +1300
Organization: fsxNet Usenet Gateway
Message-ID: <939678797@f172.n1.z21.fsxnet>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Injection-Info: news.bbs.nz; posting-host="8IWYKlztXHa0+IViEdY46zrq8kpk7dC9fTbT74JiSDQ";
logging-data="13824"; mail-complaints-to="abuse@news.bbs.nz"
User-Agent: VSoup v1.2.9.47Beta [95/NT]
X-Comment-To: All
X-MailConverter: SoupGate-Win32 v1.05
 by: jklsemicolon - Sat, 9 Dec 2023 23:34 UTC

More than twenty years ago as high schooler digging into the stacks at a
community college library, I came across a book on Ada where a chapter epigraph
referenced a bug bounty where the finder of some variety of bug in the Ada
language specification would receive a case of wine. Does this ring any bells?
I realize that this is quite vague, but I didn't have the CS background then
to appreciate what I was reading, and events have taken me quite far from that
shelf on that day.

.... We all live in a yellow subroutine...

Re: Beaujolais Challenge

<ul50lo$2p5cc$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: rosen@adalog.fr (J-P. Rosen)
Newsgroups: comp.lang.ada
Subject: Re: Beaujolais Challenge
Date: Sun, 10 Dec 2023 19:39:54 +0100
Organization: Adalog
Lines: 24
Message-ID: <ul50lo$2p5cc$1@dont-email.me>
References: <939678797@f172.n1.z21.fsxnet>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 10 Dec 2023 18:39:52 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="47c368f493730bbeceb2803619c16071";
logging-data="2921868"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19HLmgTY5/4yTz1IMTBqB5R"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:i+AOojORRw1bonQAkDFy8DpTXvE=
In-Reply-To: <939678797@f172.n1.z21.fsxnet>
Content-Language: en-US, fr
 by: J-P. Rosen - Sun, 10 Dec 2023 18:39 UTC

Le 10/12/2023 à 00:34, jklsemicolon a écrit :
> More than twenty years ago as high schooler digging into the stacks at a
> community college library, I came across a book on Ada where a chapter epigraph
> referenced a bug bounty where the finder of some variety of bug in the Ada
> language specification would receive a case of wine. Does this ring any bells?
> I realize that this is quite vague, but I didn't have the CS background then
> to appreciate what I was reading, and events have taken me quite far from that
> shelf on that day.
>
> ... We all live in a yellow subroutine...
>
Sure. Ichbiah bet that the addition or removal of a use clause could
cause compilation errors, but could not give a working program with a
different meaning (a different resolution).

John Goodenough came up with such a case (a very contrived case,
involving several levels of generics). I'm not sur that Ichbiah offered
the bottle... The so-called beaujolais effect was fixed in Ada95.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
https://www.adalog.fr https://www.adacontrol.fr

Re: Beaujolais Challenge

<ul53eu$2pksl$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada
Subject: Re: Beaujolais Challenge
Date: Sun, 10 Dec 2023 19:27:26 -0000 (UTC)
Organization: Ada-Belgium, c/o Dept. of Computer Science, KU Leuven
Lines: 17
Message-ID: <ul53eu$2pksl$1@dont-email.me>
References: <939678797@f172.n1.z21.fsxnet> <ul50lo$2p5cc$1@dont-email.me>
Injection-Date: Sun, 10 Dec 2023 19:27:26 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="6f13f7d0a0417f7ec23361c8e7c4df1f";
logging-data="2937749"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+nTqKa2TfDBNzL5wAuVH1IyZpuBpr0oos="
Cancel-Lock: sha1:jyFgjsplKNXUVxWWVbyJIKYJnNQ=
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Originator: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
 by: Dirk Craeynest - Sun, 10 Dec 2023 19:27 UTC

In article <ul50lo$2p5cc$1@dont-email.me>, J-P. Rosen <rosen@adalog.fr> wrote:
>Sure. Ichbiah bet that the addition or removal of a use clause could
>cause compilation errors, but could not give a working program with a
>different meaning (a different resolution).
[...]
>The so-called beaujolais effect was fixed in Ada95.

See also: https://en.wikipedia.org/wiki/Beaujolais_effect.

And the reference given on that wiki-page:
https://web.archive.org/web/20060823054957/http://www.adaic.com/learn/oldfaqs.html#beaujolais

Dirk
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

* 28th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2024)
* June 11-14, 2024, Barcelona, Spain, www.ada-europe.org/conference2024

Re: Beaujolais Challenge

<ul98pm$3jsel$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!nntp.comgw.net!paganini.bofh.team!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: randy@rrsoftware.com (Randy Brukardt)
Newsgroups: comp.lang.ada
Subject: Re: Beaujolais Challenge
Date: Tue, 12 Dec 2023 03:23:41 -0600
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <ul98pm$3jsel$1@dont-email.me>
References: <939678797@f172.n1.z21.fsxnet> <ul50lo$2p5cc$1@dont-email.me>
Injection-Date: Tue, 12 Dec 2023 09:23:02 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="f30255168284ec2c832fe6d267a8ee2c";
logging-data="3797461"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/kGUmOq5S5BHQkm3u1xJo337myLQw0UrM="
Cancel-Lock: sha1:lpmQUeay4oJc7j9DginLwhlOwHU=
X-RFC2646: Format=Flowed; Response
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
X-MSMail-Priority: Normal
X-Priority: 3
 by: Randy Brukardt - Tue, 12 Dec 2023 09:23 UTC

"J-P. Rosen" <rosen@adalog.fr> wrote in message
news:ul50lo$2p5cc$1@dont-email.me...
>...The so-called beaujolais effect was fixed in Ada95.

It's still something that is talked about today when new Ada features are
proposed; we don't want to reintroduce it, or the related "Ripple effect"
(which is associated with "with" clauses, and is named for a cheap American
wine brand circa 1980).

Randy.

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor