current v0`v1`v2} y is equal to v1`v2}y (v0 is ignored). So there is no reason to write the first version if you want the second. I don't think there is code in the wild that uses the first.
I also don't think its possible to intentionally/rationally create a meaningfully ambivalent expression with v0`v1`v2} because the functions are too different. Similar to i. not usable ambivalently. On Monday, September 17, 2018, 10:35:24 a.m. EDT, Raul Miller <[email protected]> wrote: Probably, but there's significant code which uses the current implementation. -- Raul On Mon, Sep 17, 2018 at 9:16 AM 'Pascal Jasmin' via Programming <[email protected]> wrote: > > amend and item amend are completely different verbs with the monadic version > much more similar to a "select" operation than an update operation. > (v0`v1`v2)} y is a select verb, that doesn't even match the update behaviour, > and so doesn't need to be made ambivalent to dyadic x (v0`v1`v2)} y > > my suggestions: > v0`v1} would be (v0 {"0 1&.|: v1) and can/could be called ambivalently > (v0`v1`v2)}y would be (v0 y) (v1 y)} ( v2 y) (calling amend even > monadically... and also the same verb as dyadic call > > I would suggest that the entire history of use for v0`v1`v2} y has been a > mistaken omission of the x parameter on an intended amend call. > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
