Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Motion 46: NO



On 2013-07-20 00:05:16 +0200, Vincent Lefevre wrote:
> > > Concerning the uncertain form:
> > > 
> > > * It is said that r is a non-negative decimal integer literal. Is it
> > > intended to allow 0?
> > Yes. 3.45?0 has the same value as [3.45].
> 
> But [3.45?] will be [3.445,3.455]. It is a bit unusual that a missing
> (or default) value isn't equivalent to 0.

Actually 3.45? will be [3.445,3.455]. But is there a reason not to
use "[" / "]" for uncertain intervals? IMHO [3.45?] would be better.
and would allow easier parsing of streams of numbers and literals,
such as:

  17 [1,2] [3.0?] -5 [3]

The first character of a literal would immediately determine whether
it is a number or an interval.

And you could also allow spaces in such interval literals for more
readability.

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)