> Converting that from C back into J would probably be a good exercise > in understanding how it works. Converting that from C back into J would probably be a good exercise in hurting my brain. I have access to the "Tacit Definition" paper - maybe that would be a better starting point.
On Tue, Apr 14, 2015 at 1:02 PM, Raul Miller <[email protected]> wrote: > Well... there's http://dl.acm.org/citation.cfm?id=114054.114077 for only > $15. > > Or, if that's too much money, there's the current implementation at > http://www.jsoftware.com/source.htm which has a reflection at > https://github.com/openj/core/blob/master/pv.c > > Converting that from C back into J would probably be a good exercise > in understanding how it works. > > Thanks, > > -- > Raul > > > On Tue, Apr 14, 2015 at 12:10 PM, Devon McCormick <[email protected]> > wrote: > > Does "moving it into user space" mean there would be something like a d2t > > (direct-to-tacit) or tfd (tacit-from-direct) defined verb? Is there any > > code started on this? Having it in J would make me more inclined to hack > > it. > > > > On Tue, Apr 14, 2015 at 11:41 AM, Raul Miller <[email protected]> > wrote: > > > >> Go for it. > >> > >> Thanks, > >> > >> -- > >> Raul > >> > >> On Tue, Apr 14, 2015 at 9:33 AM, Devon McCormick <[email protected]> > >> wrote: > >> > Before "improvements" like this, it would be nice to fix long-standing > >> bugs > >> > like this: > >> > 13 : 'y+y' > >> > + > >> > > >> > > >> > On Tue, Apr 14, 2015 at 9:15 AM, Raul Miller <[email protected]> > >> wrote: > >> > > >> >> (Inspired by a conversation...) > >> >> > >> >> Currently, 13 : tries to form a tacit verb. > >> >> > >> >> But that doesn't always work, and it falls back to composing a 3 : or > >> >> 4 : definition depending on the presence of x. > >> >> > >> >> Of course, sometimes the resulting verb has an empty domain: > >> >> > >> >> 13 : '(x' > >> >> > >> >> But there's another option, in some cases, which is that it could be > >> >> forming an adverb. > >> >> > >> >> In other words, > >> >> > >> >> 13 : 'x&+ y' > >> >> > >> >> could return > >> >> > >> >> 1 : 'm&+ y' > >> >> > >> >> Something for the todo list... > >> >> > >> >> Thanks, > >> >> > >> >> -- > >> >> Raul > >> >> > ---------------------------------------------------------------------- > >> >> For information about J forums see > http://www.jsoftware.com/forums.htm > >> >> > >> > > >> > > >> > > >> > -- > >> > Devon McCormick, CFA > >> > ---------------------------------------------------------------------- > >> > For information about J forums see > http://www.jsoftware.com/forums.htm > >> ---------------------------------------------------------------------- > >> For information about J forums see http://www.jsoftware.com/forums.htm > >> > > > > > > > > -- > > Devon McCormick, CFA > > ---------------------------------------------------------------------- > > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > -- Devon McCormick, CFA ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
