1. Forum
  2. Usenet
  3. COMP.LANG.ADA

  • Beaujolais Challenge

    From jklsemicolon@21:1/172 to All on Sun Dec 10 12:34:03 2023
    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...

    --- Mystic BBS v1.12 A48 (Linux/64)
    * Origin: The Bottomless Abyss BBS * bbs.bottomlessabyss.net (21:1/172)
  • From J-P. Rosen@21:1/5 to All on Sun Dec 10 19:39:54 2023
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Dirk Craeynest@21:1/5 to J-P. Rosen on Sun Dec 10 19:27:26 2023
    In article <ul50lo$2p5cc$[email protected]>, J-P. Rosen <[email protected]> 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
    [email protected] (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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Randy Brukardt@21:1/5 to J-P. Rosen on Tue Dec 12 03:23:41 2023
    "J-P. Rosen" <[email protected]> wrote in message news:ul50lo$2p5cc$[email protected]...
    ...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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)