Indeterminate does not generate an error on addition. 1 2 _. 4+5 6 7 8 6 8 _. 12
+/1 2 _. 4+5 6 7 8 _. On Feb 28, 2018 2:58 PM, "james faure" <james.fa...@epitech.eu> wrote: In fact, the remark about _ + __ = NAN is not pertinent in this context, since it cannot propagate generator boundaries: Error reporting is only harmed when errors are able to pass a generator link undetected, which is not the case here: it will fail immediately and in the same place as usual. ________________________________ From: Source <source-boun...@forums.jsoftware.com> on behalf of james faure <james.fa...@epitech.eu> Sent: Wednesday, February 28, 2018 10:13:11 PM To: sou...@jsoftware.com Subject: Re: [Jsource] Propositions [This sender failed our fraud detection checks and may not be who they appear to be. Learn about spoofing at http://aka.ms/LearnAboutSpoofing] 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
