[M3devel] Unbounded but finite LONGINT (was: Re: Integers

[Tony Hosking]

I'm not sure how this would all work exactly...  It would make LONGINT a very strange beast indeed, compared to the other ordinal types.

On 8 Jan 2010, at 20:44, hendrik at topoi.pooq.com wrote:

> On Fri, Jan 08, 2010 at 08:33:42PM -0500, hendrik at topoi.pooq.com wrote:
>> On Fri, Jan 08, 2010 at 07:53:07PM -0500, Tony Hosking wrote:
>>> I think what you are advocating is Rodney's proposal + assignability 
>>> of INTEGER and LONGINT + mixed arithmetic.
>> 
>> I thought Rodney's propsal still had the compiler impose a bound on the 
>> size of LONGINT.  Or did I miss something?
> 
> In particular, I would have there be no FIRST(LONGINT) or LAST(LONGINT).
> 
> -- hendrik
>> 
>> I'm proposing to let the programmer use subranges of LONGINT that are as 
>> long as he wishes.  And if the computer runs out of virtual memory to 
>> store one of the programmer's long integers, well, that's the computer 
>> imposing the limit, not the language.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20100108/a6c32d22/attachment-0002.html>