From: Matt Jaffe <matt.jaffe@gmail.com>
Subject: Re: What is the name of the | symbol?
Date: Sun, 27 Mar 2022 11:57:48 -0700 (PDT) [thread overview]
Message-ID: <708fffe8-9c20-43f8-b9c1-922034048606n@googlegroups.com> (raw)
In-Reply-To: <t1livv$497$1@dont-email.me>
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 ;-)
next prev parent reply other threads:[~2022-03-27 18:57 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-03-25 19:04 What is the name of the | symbol? Matt Jaffe
2022-03-25 19:23 ` Ben Bacarisse
2022-03-25 22:21 ` Jeffrey R.Carter
2022-03-25 23:24 ` Chris Townley
2022-03-26 0:58 ` Luke A. Guest
2022-03-26 2:01 ` Chris Townley
2022-03-27 0:38 ` Stephen Leake
2022-03-27 19:01 ` Matt Jaffe
2022-03-27 18:57 ` Matt Jaffe [this message]
-- strict thread matches above, loose matches on Subject: below --
2022-03-25 19:16 Matt Jaffe
2022-03-25 20:03 ` Niklas Holsti
2022-03-26 4:24 ` Paul Rubin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox