> > The extra step is admittedly a small syntactic annoyance. > I note that if python were to implicitly convert the map object to a list > wherever there would otherwise be an error, then the user no longer cares > (or knows) that this map object existed. (This would possibly be wasteful > in python, where so much less happens per statement). > For J, where so much more is happening per statement, we could > transparently replace all intermediate results by generators, except where > a full noun is required.
Now we're talking! As an implementation detail internal to the interpreter, I can definitely get behind this idea. I am still iffy on i._ because it seems more like a new datatype that the programmer can't ignore. On Wed, Feb 28, 2018 at 8:24 PM, Raul Miller <rauldmil...@gmail.com> wrote: > That was not a refutation, it was a scoping issue. > > That said, if you do not support calculations involving generators, what > would be their purpose? > > (Also, I'm working on a project that has a heavy deadline, which limits my > time for responding to the times when I'm waiting for something--I'm not > even sure how much sleep I'll get, tonight.) > > Also... as a related but different topic... if you are going to support > operations on generator nouns which produce generator nouns, you would > probably want to implement a synthetic rank mechanism (otherwise rank zero > addition ends your generator). > > Thanks, > > -- > Raul > > On Wednesday, February 28, 2018, james faure <james.fa...@epitech.eu> > wrote: > > > I will add however that posting a single line like that and presenting it > > as if it were a definitive refutation of the entire concept is not very > > tactful. > > > > ________________________________ > > From: james faure > > Sent: Wednesday, February 28, 2018 10:05:16 PM > > To: sou...@jsoftware.com > > Subject: Re: [Jsource] Propositions > > > > > > Ok, I suspected as much, thx for the example > > > > ________________________________ > > From: Source <source-boun...@forums.jsoftware.com> on behalf of Raul > > Miller <rauldmil...@gmail.com> > > Sent: Wednesday, February 28, 2018 9:57:10 PM > > To: Source forum > > Subject: Re: [Jsource] Propositions > > > > On Wed, Feb 28, 2018 at 3:39 PM, james faure <james.fa...@epitech.eu> > > wrote: > > > So... Our generator is infinite, and we cannot fall back to conjuring > it > > up physically. Does this mean that some operatoions are impossible, and > > must return a domain error? Operations must in any event be stored > > symbolically, so some errors may go undetected for some time (pending a > > rigorous proof of the following conjecture: 'we are able to either > > guarantee correctness for all generator links based on i._, or bail out > > immediately with an error'). Here is perhaps our biggest problem then: > Are > > there any errors that cannot be predicted by a generator link on i._ ? > > Well, boxes aside, we should be able to see coming all syntax, rank and > > length errors should be predictable for any generator link, since we can > > analyze the complete information we have for generating the array. As a > > result then, we need this axiom (for a valid generator): it must > guarantee > > it's ability to generate an array (short of system limits)). Should my > > conjecture about guaranteeing correctness on i._, prove false, then the > > offending operations on infinite generators must trigger a domain error. > > > > You should be aware that addition of certain values can trigger errors: > > > > _+__ > > |NaN error > > > > Thanks, > > > > -- > > Raul > > ---------------------------------------------------------------------- > > 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 > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
