[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: a.watson@xxxxxxxxxxxxxxxx*Subject*: Re: reading NaNs*From*: Aubrey Jaffer <agj@xxxxxxxxxxxx>*Date*: Tue, 25 Oct 2005 18:45:29 -0400 (EDT)*Cc*: tb@xxxxxxxxxx, srfi-77@xxxxxxxxxxxxxxxxx*Delivered-to*: srfi-77@xxxxxxxxxxxxxxxxx*In-reply-to*: <435D49E3.2010001@xxxxxxxxxxxxxxxx> (message from Alan Watson on Mon, 24 Oct 2005 15:53:55 -0500)*References*: <20051021145326.816C11B77BB@xxxxxxxxxxxxxxxxxxxxx> <20051021155906.GC16464@NYCMJCOWA2> <Pine.LNX.4.58.0510210910130.18969@xxxxxxxxxxxxxx> <20051022011713.1F22A1B77BB@xxxxxxxxxxxxxxxxxxxxx> <87vezqmjkq.fsf@xxxxxxxxxxxxxxxxx> <20051022232548.5A2971B77BB@xxxxxxxxxxxxxxxxxxxxx> <873bmtxdnm.fsf@xxxxxxxxxxxxxxxxx> <20051023181854.4E7DD1B77BB@xxxxxxxxxxxxxxxxxxxxx> <871x2cowe8.fsf@xxxxxxxxxxxxxxxxx> <20051023195403.A50AF1B77BB@xxxxxxxxxxxxxxxxxxxxx> <435BEC21.60509@xxxxxxxxxxxx> <20051023205012.BFD241B77BB@xxxxxxxxxxxxxxxxxxxxx> <87zmoz27dg.fsf@xxxxxxxxxxxxx> <87hdb7kgmk.fsf@xxxxxxxxxxxxxxxxx> <87k6g3zw34.fsf@xxxxxxxxxxxxx> <871x2bkfj7.fsf@xxxxxxxxxxxxxxxxx> <8764rnu45b.fsf@xxxxxxxxxxxxx> <87br1fiv26.fsf@xxxxxxxxxxxxxxxxx> <87ll0jpu0q.fsf@xxxxxxxxxxxxx> <20051024022744.6CA581B77BB@xxxxxxxxxxxxxxxxxxxxx> <87veznbb37.fsf@xxxxxxxxxxxxx> <8764rnbaqr.fsf@xxxxxxxxxxxxxxxxx> <435C9A65.7060106@xxxxxxxxxxxxxxxx> <20051024153539.D98031B77BB@xxxxxxxxxxxxxxxxxxxxx> <435D49E3.2010001 @astrosmo.unam.mx>

| Date: Mon, 24 Oct 2005 15:53:55 -0500 | From: Alan Watson <a.watson@xxxxxxxxxxxxxxxx> | | Aubrey Jaffer wrote: | > Are you suggesting a single NaN or multiple distinct NaNs? | > | > To support existing IEEE-754 hardware, R6RS must not mandate | > multiple distinct NaNs. But specifying a singular NaN prevents | > implementations from fully supporting IEEE-754 in the future. | | All hardware should recognize all NaNs. Therefore, allowing NaNs | to be generated with aribitrary bit patterns is not a problem. | However, different hardware need not generate the same NaNs for | identical operands. Having a universal read/write representation for arbitrary bit patterms prevents including information like the procedure causing the NaN in its printed representation. | However, I still think we need a read syntax. Suppose program A | calculates a value and writes it to a file and program B reads the | value from the file and uses it. Is is not useful for program A to | be able to communicate to program B that it got a NaN? To evaluate this scenario, we must compare it with the alternatives. In mission critical software, signaling an error instead of returning NaNs is unacceptable. Even if the error is caught, the computation is curtailed, requiring higher levels of exception awareness which are difficult to plan and test. If program A writes out its state, it would be useful to see that NaNs were computed. It gives operators a chance to capture the use case which provoked the error. If the program state is very valuable, then it can be repaired manually. But if program B reads its initial state from the file, its reading of NaNs puts errors into its state which can propagate and corrupt it. This is not an entirely hypothetical scenario. My database-backed HTTP servers write out their (Scheme) databases after changes; and read them in on reboot. | This would suggest we need a write syntax and a read syntax for | NaNs. I disagree.

**Follow-Ups**:**Re: reading NaNs***From:*Shiro Kawai

**Re: reading NaNs***From:*Alan Watson

**Re: reading NaNs***From:*Marcin 'Qrczak' Kowalczyk

**References**:**arithmetic issues***From:*Aubrey Jaffer

**Re: arithmetic issues***From:*John.Cowan

**Re: arithmetic issues***From:*bear

**Re: arithmetic issues***From:*Aubrey Jaffer

**Re: arithmetic issues***From:*Thomas Bushnell BSG

**Re: arithmetic issues***From:*Aubrey Jaffer

**Re: arithmetic issues***From:*Thomas Bushnell BSG

**Re: arithmetic issues***From:*Aubrey Jaffer

**Re: arithmetic issues***From:*Thomas Bushnell BSG

**Re: arithmetic issues***From:*Aubrey Jaffer

**Re: arithmetic issues***From:*Jens Axel Søgaard

**Re: arithmetic issues***From:*Aubrey Jaffer

**Re: arithmetic issues***From:*Marcin 'Qrczak' Kowalczyk

**Re: arithmetic issues***From:*Thomas Bushnell BSG

**Re: arithmetic issues***From:*Marcin 'Qrczak' Kowalczyk

**Re: arithmetic issues***From:*Thomas Bushnell BSG

**Re: arithmetic issues***From:*Marcin 'Qrczak' Kowalczyk

**Re: arithmetic issues***From:*Thomas Bushnell BSG

**Re: arithmetic issues***From:*Marcin 'Qrczak' Kowalczyk

**Re: arithmetic issues***From:*Aubrey Jaffer

**Re: arithmetic issues***From:*Marcin 'Qrczak' Kowalczyk

**Re: arithmetic issues***From:*Thomas Bushnell BSG

**Re: arithmetic issues***From:*Alan Watson

**reading NaNs***From:*Aubrey Jaffer

**Re: reading NaNs***From:*Alan Watson

- Prev by Date:
**Re: Common Lisp solved this problem 20 years ago** - Next by Date:
**Re: reading NaNs** - Previous by thread:
**Re: reading NaNs** - Next by thread:
**Re: reading NaNs** - Index(es):