Stages of denial

140 views
Skip to first unread message

Steve Graham

unread,
Mar 12, 2020, 9:21:31 AM3/12/20
to Kona Users
Read an interesting post in defense of K:  https://news.ycombinator.com/item?id=22504106

It ends with "Leaning back in your chair, you think to yourself:  |/

I am unfamiliar with "|/" and searching through the help told me that | is MAX or OR and | is one of these:
/  over dyad    +/1 2 3  or 4+/1 2 3    */1+!5
/  over monad   apply until fixed    f/x    (%[;2.0])/9999.0
/  over monad   apply n times      n f/x    4 (2+)/0
/  over monad   apply while true   b f/x    {x<10} {x+1}/ 3
/  over         {x+y+z}/[1 2 3;4;7 8 9]  f/[x;y;z]
/  join         ","/("a";"b")

Trying it on various arguments also did not solve the matter:
  |/1 5 9
9
  4|/1 5 9
9
  4 2|/ 5 9
9 9
  4 2|/ 1 5 9
9 9

Any idea what "|/" might mean in that context?

Thanks, Steve

Scott Vokes

unread,
Mar 12, 2020, 9:51:51 AM3/12/20
to kona...@googlegroups.com
You pretty much had it -- it's max-over: the max of 1 5 9 is 9, and 9 is also the max in those cases where 4 or 2 are in the mix. The other cases are evaluated slightly differently, because there's a left argument for the adverb. Somebody else could probably explain the / adverb behavior better.

It's MAX/OR because over a boolean domain (0, 1) logical-or and max are equivalent.

Hope that helps,
Scott

--
You received this message because you are subscribed to the Google Groups "Kona Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to kona-user+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/kona-user/7cb0c745-ff8a-4d9f-9dbe-aae909a59de8%40googlegroups.com.

Steve Graham

unread,
Mar 12, 2020, 3:12:36 PM3/12/20
to kona...@googlegroups.com
Reply all
Reply to author
Forward
0 new messages