Re: Motion 46: finalise interval literals, amendments
On 2013-07-09 08:32:33 -0400, Michel Hack wrote:
> > And should there be a limit on the size of the integers?
>
> No -- that's the point of allowing exact rationals to be specified.
This goes beyond exact rationals: any fixed rational can be written
will arbitrarily long integers. For instance, 1/17 can be written
12345678/209876526
This means that even if you have a limited datatype for rationals,
it may be complex to parse the literals. Can you do that with bounded
memory?
--
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)