[082349872349872]

Unfortunately Dijkstra and Iverson took personal dislikes to each other's approach, or we might have had a language that abstracted data flow like Iverson's APL and abstracted code flow like Dijkstra's Guarded Commands.

[abrudz]

Have you looked at dfns (https://en.wikipedia.org/wiki/Direct_function)? They allow you something very similar. Compare Dijkstra's GCL:

  if a < b → c := true
   □ a ≥ b → c := false
  fi

To an APL dfn with "guards":

  c ← {
        a < b : true
        a ≥ b : false
      }

As in GCL, if none of the guards hold true, the dfn (braces) will terminate without return value, and thus the code will abort with an error.

[082349872349872]

thanks! very close, except for https://en.wikipedia.org/wiki/Direct_function#:~:text=guards...

(seems like a degenerate, empty, dfn also behaves differently?)

[082349872349872]

and, modulo the above, we could spell "do X ◻ Y od" as "{X ♢ Y}⍣≡"?