The language looks generally good for its goal, except these two operators |/y /...

i_don_t_know · on March 18, 2019

At least for boolean operations, | (or) can be thought of as the maximum of a vector of 0s (false) and 1s (true). Likewise, & (and) is the minimum of a vector of 0s (false) and 1s (true).

But I don't know if that was the motivation / justification for naming these operators / functions.

uryga · on March 18, 2019

if you squint a bit, `x or y` returns the one that's greater, i.e. `0 or 1 == 1`; and `x and y` returns the one that's smaller, i.e. `0 and 1 == 0`. so min/max kind of are a generalization of and/or

lelf · on March 18, 2019

Paraphrasing

  fold[max] y  # maximum
  fold[min] y  # minimum

Those two characters have no connection with the operation they stand for

  | — logical-or,  min
  & — logical-and, max

    0|1
  1
    1|42
  42

de_Selby · on March 18, 2019

Sure they do, in most C-like languages || is OR and && is AND.

For OR, from

1 | 0 = 1

It's a small step to generalise to

N | 0 = N (~max)

and then

N | N-1 = N (max)

The same goes for &

pfortuny · on March 18, 2019

Those are “or”=max, “and”=min. They are use sometimes in Mathematics (I have used them) but with the “low angle” and “up angle”. Not too frequently though.

quadcore · on March 18, 2019

Note that |/y is | (or) over y. Hence, max.

SifJar · on March 18, 2019

max and min are also available as keywords in k7/shakti