e=. (((|.[.[.)[.)'')~ name=. 123 'eman' e 123 On Fri, 15 Jul 2022, Jacques Bailhache wrote:
> Is it possible to write a tacit definition of the monad "evokereverse" > explicitely defined as follows : > > evokereverse =: 3 : '(|. y) ~' > name =: 123 > evokereverse 'eman' > 123 > > > 2022-07-02 16:45 UTC+02:00, Henry Rich <henryhr...@gmail.com>: >> Pascal is right, after a small expansion: >> >> If your modifier does not use explicit x or y, then it can return either >> verbs or modifiers. (the returned entities need not be tacit) >> >> Details at >> https://code.jsoftware.com/wiki/Vocabulary/com#Defining_a_Modifier >> >> Henry Rich >> >> On 7/2/2022 10:35 AM, 'Pascal Jasmin' via Programming wrote: >>> modifiers ((A)dverbs and (C)onjunctions) can return any form of speech (N >>> V A C) Though only have N or V arguments. >>> >>> >>> in terms of tacit definitions for modifiers, >>> >>> thendouble =: +:@: NB. adverb >>> >>> For modifier there is one form of explicit definition that can be >>> distinguished as semi-tacit: If your modifier does not use explicit x or >>> y, then it can return tacit verbs or modifiers. If your modifier >>> definition does use y [and x] then it is fully explicit returning an >>> explicit verb of specific valence. >>> >>> >>> thenA =: 1 : 'u@:' NB. adverb returning adverb >>> thenAfter =: 2 : 'v@:u' >>> >>> >>> >>> J playground examples: >>> >>> https://jsoftware.github.io/j-playground/bin/html2/#code=thendouble%20%3D%3A%20%2B%3A%40%3A%20%20NB.%20adverb%0AthenA%20%3D%3A%201%20%3A%20'u%40%3A'%20%20NB.%20adverb%20returning%20adverb%0AthenAfter%20%3D%3A%202%20%3A%20'v%40%3Au'%0A%0AexplicitA%20%3D%3A%201%20%3A%200%0Au%20y%0A%3A%0Ax%20u%20y%0A%29%0A%0A2%20%2B%20thendouble%203%0A2%20%2B%20%2B%3AthenA%203%0A2%20%2B%20thenAfter%20%2B%3A%203%0A%0A2%20%2B%20explicitA%20thenAfter%20%2B%3A%203%0A%0A%2B%20explicitA%20thenAfter%20%2B%3A%0A%2B%20%20%2B%3A%20thenA%0A >>> >>> >>> >>> On Saturday, July 2, 2022, 06:15:29 a.m. EDT, Jacques Bailhache >>> <jacques.bailha...@gmail.com> wrote: >>> >>> >>> >>> >>> >>> If I understood correctly : >>> - A monad applies to a noun and produces a noun >>> - A dyad applies to two nouns and produces a noun >>> - An adverb applies to a verb or a noun and produces a verb >>> - A conjunction applies to two verbs or nouns and produces a verb >>> but does there exist something that produces an adverb or a conjunction ? >>> In other terms, is it possible to write a tacit definition of an >>> adverb or a conjunction without using an explicit definition like >>> myadv =: 1 : '...' >>> or >>> myconj =: 2 : '...' ? >>> ---------------------------------------------------------------------- >>> For information about J forums see http://www.jsoftware.com/forums.htm >>> ---------------------------------------------------------------------- >>> For information about J forums see http://www.jsoftware.com/forums.htm >> >> >> -- >> This email has been checked for viruses by AVG. >> https://www.avg.com >> >> ---------------------------------------------------------------------- >> 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
