Re: condition true or false? -> (-1 < sizeof("test"))

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Tue, 22 May 2012 18:26:58 +0100, BartC wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
> news:3b5cewxtwayd.x41gqd4lwwm9.dlg@40tude.net...
>> On Tue, 22 May 2012 17:25:17 +0100, BartC wrote:
>>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> 
>>>> The answer is to have + and -
>>>> closed. What about *? That would make it x2 bits wider. What about
>>>> exponentiation? Much more bits. Factorial?
>>>
>>> We're talking about C where operations and their results usually have the
>>> same predefined width.
>>
>> Irrelevant. The concept either works or does not. In this case it does 
>> not.
> 
> That's fine. But in that case, every calculator or computer ever made is 
> useless, because you can always think up some calculation just beyond it's 
> capacity.

But calculators do not work with non-modular unsigned integers.

The idea of having a constrained subtype of a constrained or not integer
type is all OK. This is how such types are defined in Ada:

   subtype Natural is new Integer range 0..Integer'Last;

Wrong is an attempt to define a new type pretending it were unconstrained
because some extra bits.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de