comp.lang.ada
 help / color / mirror / Atom feed
From: Ben Bacarisse <ben.usenet@bsb.me.uk>
Subject: Re: What is the name of the | symbol?
Date: Fri, 25 Mar 2022 19:23:19 +0000	[thread overview]
Message-ID: <871qyp96qg.fsf@bsb.me.uk> (raw)
In-Reply-To: c9ec4a95-2b75-413c-9d99-983dcb004e98n@googlegroups.com

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.

  reply	other threads:[~2022-03-25 19:23 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 [this message]
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
  -- 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