Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

REST: P: Linus Torvalds S: Buried alive in email -- from /usr/src/linux/MAINTAINERS


devel / comp.lang.ada / What is the name of the | symbol?

SubjectAuthor
* What is the name of the | symbol?Matt Jaffe
+- Re: What is the name of the | symbol?Ben Bacarisse
`* Re: What is the name of the | symbol?Jeffrey R.Carter
 `* Re: What is the name of the | symbol?Chris Townley
  +* Re: What is the name of the | symbol?Luke A. Guest
  |+- Re: What is the name of the | symbol?Chris Townley
  |`* Re: What is the name of the | symbol?Stephen Leake
  | `- Re: What is the name of the | symbol?Matt Jaffe
  `- Re: What is the name of the | symbol?Matt Jaffe

1
What is the name of the | symbol?

<c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:1434:b0:67d:40a2:da33 with SMTP id k20-20020a05620a143400b0067d40a2da33mr7939910qkj.93.1648235098422;
Fri, 25 Mar 2022 12:04:58 -0700 (PDT)
X-Received: by 2002:a81:8d4a:0:b0:2ca:287c:6d3f with SMTP id
w10-20020a818d4a000000b002ca287c6d3fmr11861710ywj.484.1648235098144; Fri, 25
Mar 2022 12:04:58 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 25 Mar 2022 12:04:57 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=67.60.105.60; posting-account=gQF3jAoAAABoaiz3fV1hQ7bEbL48C-fl
NNTP-Posting-Host: 67.60.105.60
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>
Subject: What is the name of the | symbol?
From: matt.ja...@gmail.com (Matt Jaffe)
Injection-Date: Fri, 25 Mar 2022 19:04:58 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 6
 by: Matt Jaffe - Fri, 25 Mar 2022 19:04 UTC

In using it in a named association array aggregate, its semantic are "and" --- e.g., some_1D_array := (1 | 3 | 7 => 5, others => 10) sets elements 1 and 3 and 7 to the value 5. In a case statement, its semantics are "or" --- e.g. when 1 | 3 | 7 => ... any of the values 1, 3, or 7 for the case expression will select the ... code for execution. Is there a single name for that symbol (the | ) that seems to have different semantics depending on context?

Re: What is the name of the | symbol?

<871qyp96qg.fsf@bsb.me.uk>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben Bacarisse)
Newsgroups: comp.lang.ada
Subject: Re: What is the name of the | symbol?
Date: Fri, 25 Mar 2022 19:23:19 +0000
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <871qyp96qg.fsf@bsb.me.uk>
References: <c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="3764156ced1518774c33a15cd121a188";
logging-data="30447"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX181nWUHbQXNufrEv7ogTdedHtnhvlB9ASw="
Cancel-Lock: sha1:x3EALdj3adjZkxhTkfZm14ey6nk=
sha1:h8Rv4W9H2adAZqHOpz9GjSAiw2I=
X-BSB-Auth: 1.5dee2ebc8866ab5e554f.20220325192319GMT.871qyp96qg.fsf@bsb.me.uk
 by: Ben Bacarisse - Fri, 25 Mar 2022 19:23 UTC

Matt Jaffe <matt.jaffe@gmail.com> writes:

> In using it in a named association array aggregate, its semantic are
> "and" --- e.g., some_1D_array := (1 | 3 | 7 => 5, others => 10) sets
> elements 1 and 3 and 7 to the value 5. In a case statement, its
> semantics are "or" --- e.g. when 1 | 3 | 7 => ... any of the values
> 1, 3, or 7 for the case expression will select the ... code for
> execution. Is there a single name for that symbol (the | ) that seems
> to have different semantics depending on context?

How about reading it like this (read with a fixed-width font):

a := ( 1 | 3 | 7 => 5, others => 10 )
if the index is one or three or seven then five else ten fi

Similar syntax appeared in Algol 68. | is frequently used for
"alternatives" -- it's just a question of what's being referred to.
Here, it's all the alternative indexes that map to a specific value.

--
Ben.

Re: What is the name of the | symbol?

<t1lf9h$qmm$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: spam.jrc...@spam.acm.org.not (Jeffrey R.Carter)
Newsgroups: comp.lang.ada
Subject: Re: What is the name of the | symbol?
Date: Fri, 25 Mar 2022 23:21:37 +0100
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <t1lf9h$qmm$1@dont-email.me>
References: <c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 25 Mar 2022 22:21:37 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="b8172fc457638c69ee431e2a428e83aa";
logging-data="27350"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX189Tn5zwsI2+S5k5OoB+cra1WkGwWdt1pc="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
Thunderbird/91.7.0
Cancel-Lock: sha1:HKZE4Ly2fMpIJqJmUzF1bcHSdI4=
In-Reply-To: <c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>
Content-Language: en-US
 by: Jeffrey R.Carter - Fri, 25 Mar 2022 22:21 UTC

On 2022-03-25 20:04, Matt Jaffe wrote:
> In using it in a named association array aggregate, its semantic are "and" --- e.g., some_1D_array := (1 | 3 | 7 => 5, others => 10) sets elements 1 and 3 and 7 to the value 5. In a case statement, its semantics are "or" --- e.g. when 1 | 3 | 7 => ... any of the values 1, 3, or 7 for the case expression will select the ... code for execution. Is there a single name for that symbol (the | ) that seems to have different semantics depending on context?

ARM 2.1(15/3)
(http://www.ada-auth.org/standards/aarm12_w_tc1/html/AA-2-1.html#I1201) says its
name in Ada is "vertical line".

--
Jeff Carter
"Alms for an ex-leper!"
Monty Python's Life of Brian
75

Re: What is the name of the | symbol?

<t1livv$497$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.niel.me!news.gegeweb.eu!gegeweb.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: new...@cct-net.co.uk (Chris Townley)
Newsgroups: comp.lang.ada
Subject: Re: What is the name of the | symbol?
Date: Fri, 25 Mar 2022 23:24:45 +0000
Organization: A noiseless patient Spider
Lines: 20
Message-ID: <t1livv$497$1@dont-email.me>
References: <c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>
<t1lf9h$qmm$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 25 Mar 2022 23:24:47 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="960b8cebd954adbc45a3a4fd952883d2";
logging-data="4391"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/dSpfENiXRbYArmr7wDdhOCE/dSj8jQKY="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.7.0
Cancel-Lock: sha1:tBPG5r+v2chQqE+OY2zV5pdvXxY=
In-Reply-To: <t1lf9h$qmm$1@dont-email.me>
Content-Language: en-GB
 by: Chris Townley - Fri, 25 Mar 2022 23:24 UTC

On 25/03/2022 22:21, Jeffrey R.Carter wrote:
> On 2022-03-25 20:04, Matt Jaffe wrote:
>> In using it in a named association array aggregate, its semantic are
>> "and" --- e.g., some_1D_array := (1 | 3 | 7 => 5, others => 10) sets
>> elements 1 and 3 and 7 to the value 5.  In a case statement, its
>> semantics are "or" --- e.g. when 1 | 3 | 7 => ...  any of the values
>> 1, 3, or 7 for the case expression will select the ... code for
>> execution.  Is there a single name for that symbol (the |  ) that
>> seems to have different semantics depending on context?
>
> ARM 2.1(15/3)
> (http://www.ada-auth.org/standards/aarm12_w_tc1/html/AA-2-1.html#I1201)
> says its name in Ada is "vertical line".
>

Probably wrong, but for a Unix user since the last century, I call it 'pipe'

--
Chris

Re: What is the name of the | symbol?

<t1lohl$1gv9$1@gioia.aioe.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail
From: lagu...@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: What is the name of the | symbol?
Date: Sat, 26 Mar 2022 00:58:53 +0000
Organization: Aioe.org NNTP Server
Message-ID: <t1lohl$1gv9$1@gioia.aioe.org>
References: <c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>
<t1lf9h$qmm$1@dont-email.me> <t1livv$497$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="50153"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
Thunderbird/91.5.1
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
 by: Luke A. Guest - Sat, 26 Mar 2022 00:58 UTC

On 25/03/2022 23:24, Chris Townley wrote:

> Probably wrong, but for a Unix user since the last century, I call it
> 'pipe'

Or bar.

Re: What is the name of the | symbol?

<t1ls64$ujt$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!rocksolid2!news.neodome.net!news.mixmin.net!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: new...@cct-net.co.uk (Chris Townley)
Newsgroups: comp.lang.ada
Subject: Re: What is the name of the | symbol?
Date: Sat, 26 Mar 2022 02:01:38 +0000
Organization: A noiseless patient Spider
Lines: 14
Message-ID: <t1ls64$ujt$1@dont-email.me>
References: <c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>
<t1lf9h$qmm$1@dont-email.me> <t1livv$497$1@dont-email.me>
<t1lohl$1gv9$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 26 Mar 2022 02:01:40 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="960b8cebd954adbc45a3a4fd952883d2";
logging-data="31357"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+DFbjSncJTWZzAOZ23jnIa8IMNDXnkcBw="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.7.0
Cancel-Lock: sha1:uUDtJvAKNYyK+HG79U2QVjrJH2E=
In-Reply-To: <t1lohl$1gv9$1@gioia.aioe.org>
Content-Language: en-GB
 by: Chris Townley - Sat, 26 Mar 2022 02:01 UTC

On 26/03/2022 00:58, Luke A. Guest wrote:
> On 25/03/2022 23:24, Chris Townley wrote:
>
>> Probably wrong, but for a Unix user since the last century, I call it
>> 'pipe'
>
> Or bar.
>

No that is for after work ;)

--
Chris

Re: What is the name of the | symbol?

<86zglcfcv0.fsf@stephe-leake.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!6MpDoNrA+2KoZyE4OD7oYg.user.46.165.242.75.POSTED!not-for-mail
From: stephen_...@stephe-leake.org (Stephen Leake)
Newsgroups: comp.lang.ada
Subject: Re: What is the name of the | symbol?
Date: Sat, 26 Mar 2022 17:38:59 -0700
Organization: Aioe.org NNTP Server
Message-ID: <86zglcfcv0.fsf@stephe-leake.org>
References: <c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>
<t1lf9h$qmm$1@dont-email.me> <t1livv$497$1@dont-email.me>
<t1lohl$1gv9$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="24900"; posting-host="6MpDoNrA+2KoZyE4OD7oYg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (windows-nt)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:VVk0WaR9+ktsUh3GCSv3BhiZZXk=
 by: Stephen Leake - Sun, 27 Mar 2022 00:38 UTC

"Luke A. Guest" <laguest@archeia.com> writes:

> On 25/03/2022 23:24, Chris Townley wrote:
>
>> Probably wrong, but for a Unix user since the last century, I call
>> it 'pipe'
>
> Or bar.

Emacs ada-mode grammar calls it BAR.

--
-- Stephe

Re: What is the name of the | symbol?

<708fffe8-9c20-43f8-b9c1-922034048606n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:2993:b0:67d:7119:9f19 with SMTP id r19-20020a05620a299300b0067d71199f19mr13415160qkp.494.1648407469477;
Sun, 27 Mar 2022 11:57:49 -0700 (PDT)
X-Received: by 2002:a25:3b87:0:b0:628:b8a6:c1e7 with SMTP id
i129-20020a253b87000000b00628b8a6c1e7mr19817625yba.422.1648407469185; Sun, 27
Mar 2022 11:57:49 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 27 Mar 2022 11:57:48 -0700 (PDT)
In-Reply-To: <t1livv$497$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=67.60.105.60; posting-account=gQF3jAoAAABoaiz3fV1hQ7bEbL48C-fl
NNTP-Posting-Host: 67.60.105.60
References: <c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>
<t1lf9h$qmm$1@dont-email.me> <t1livv$497$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <708fffe8-9c20-43f8-b9c1-922034048606n@googlegroups.com>
Subject: Re: What is the name of the | symbol?
From: matt.ja...@gmail.com (Matt Jaffe)
Injection-Date: Sun, 27 Mar 2022 18:57:49 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Matt Jaffe - Sun, 27 Mar 2022 18:57 UTC

On Friday, March 25, 2022 at 4:24:49 PM UTC-7, Chris Townley wrote:
> On 25/03/2022 22:21, Jeffrey R.Carter wrote:
> > On 2022-03-25 20:04, Matt Jaffe wrote:
> >> In using it in a named association array aggregate, its semantic are
> >> "and" --- e.g., some_1D_array := (1 | 3 | 7 => 5, others => 10) sets
> >> elements 1 and 3 and 7 to the value 5. In a case statement, its
> >> semantics are "or" --- e.g. when 1 | 3 | 7 => ... any of the values
> >> 1, 3, or 7 for the case expression will select the ... code for
> >> execution. Is there a single name for that symbol (the | ) that
> >> seems to have different semantics depending on context?
> >
> > ARM 2.1(15/3)
> > (http://www.ada-auth.org/standards/aarm12_w_tc1/html/AA-2-1.html#I1201)
> > says its name in Ada is "vertical line".
> >
> Probably wrong, but for a Unix user since the last century, I call it 'pipe'
>
>
> --
> Chris

Well, non-judgmental type that I am, I'm not going to say you're "wrong", but pipe is the name and usage for that symbol when programming a Unix shell.. It's semantics in Ada are quite different, so I don't think calling it pipe quite fits. (So I guess I'm not a pipe-fitter either ;-)

Re: What is the name of the | symbol?

<c368fd05-8f70-4444-9de8-9343da42c020n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:6214:caa:b0:441:2e8f:f398 with SMTP id s10-20020a0562140caa00b004412e8ff398mr17851526qvs.61.1648407665406;
Sun, 27 Mar 2022 12:01:05 -0700 (PDT)
X-Received: by 2002:a81:4e4b:0:b0:2e6:b48d:a190 with SMTP id
c72-20020a814e4b000000b002e6b48da190mr21508638ywb.112.1648407665223; Sun, 27
Mar 2022 12:01:05 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!3.us.feeder.erje.net!feeder.erje.net!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 27 Mar 2022 12:01:05 -0700 (PDT)
In-Reply-To: <86zglcfcv0.fsf@stephe-leake.org>
Injection-Info: google-groups.googlegroups.com; posting-host=67.60.105.60; posting-account=gQF3jAoAAABoaiz3fV1hQ7bEbL48C-fl
NNTP-Posting-Host: 67.60.105.60
References: <c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com>
<t1lf9h$qmm$1@dont-email.me> <t1livv$497$1@dont-email.me> <t1lohl$1gv9$1@gioia.aioe.org>
<86zglcfcv0.fsf@stephe-leake.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c368fd05-8f70-4444-9de8-9343da42c020n@googlegroups.com>
Subject: Re: What is the name of the | symbol?
From: matt.ja...@gmail.com (Matt Jaffe)
Injection-Date: Sun, 27 Mar 2022 19:01:05 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 16
 by: Matt Jaffe - Sun, 27 Mar 2022 19:01 UTC

On Saturday, March 26, 2022 at 5:39:07 PM UTC-7, Stephen Leake wrote:
> "Luke A. Guest" <lag...@archeia.com> writes:
>
> > On 25/03/2022 23:24, Chris Townley wrote:
> >
> >> Probably wrong, but for a Unix user since the last century, I call
> >> it 'pipe'
> >
> > Or bar.
> Emacs ada-mode grammar calls it BAR.
>
> --
> -- Stephe

"Bar" sounds like the best alternative so far; I think that's what I'll use when talking to my students.

Thanks.

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor