We have more than one way of avoiding to write verbs twice. There are gerunds. They generalize naturally to making a noun of anything by means of the Atomic Representation.
First, what’s next after verbs? Adverbs. You don’t even need ARs for them, here’s a bogus example hom =: @;& NB. your higher order modifier, comparing conjunctions dry =: / hom \ NB. don’t repeat yourself + dry - +/@(-\) ; +/&(-\) How about different verbs? I’ll talk about that in the context of conjunctions just below (cf to the “Exercise”) Secondly, we have conjunctions (just as silly an example as above). dryc =: @: (@;&) &.: NB. don’t repeat yourself (conjunctions) (5 !: 1) <'dryc' NB. take a look at the AR ┌────────────────────────┐ │┌─┬────────────────────┐│ ││4│┌──┬───────────┬───┐││ ││ ││@:│┌─┬───────┐│&.:│││ ││ ││ ││4│┌─┬─┬─┐││ │││ ││ ││ ││ ││@│;│&│││ │││ ││ ││ ││ │└─┴─┴─┘││ │││ ││ ││ │└─┴───────┘│ │││ ││ │└──┴───────────┴───┘││ │└─┴────────────────────┘│ └────────────────────────┘ NB. using 5 instead of 1, you’ll get a string representation NB. take a look at its semantics *: dryc -: *:@:-:@(*:&.:-:) ; *:@:-:&(*:&.:-:) Excercise: given two conjunctions, build an AR without repeating yourself that will take two pairs of verbs in turn to be distributed over the @: and &.: on both sides, eg u2 u1 drydist v1 v2 u2@:v2@(u1&.:u2) ; u2@:v2&(u1&.:v1) (either build it from scratch, or use an ar like the above as a starting point) maybe your objection was that this requires too much work I agree partly; but how regularly do we have use for this? (otoh, maybe we’re blind to those uses as we haven’t gotten used to being able to express ourselves this way) Hauke Am 04.12.21 um 01:36 schrieb Elijah Stone:
we have a way to avoid writing verbs twice, that is the modifier; but there is no way to write a higher-order modifier, so I would be surprised if it were possible to do so tacitly.
-- ---------------------- mail written using NEO neo-layout.org ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
