Re: ARG Urgent Problems (was: labeling)

["Nick Williams" <nickw@acm.org>]

What exactly do you mean by 'unsigned integers and not just the positive
part of integers'?

If you want to model unsigned integers the same way that C models them, then
use modular types, surely?

Nick.

"Tarjei T. Jensen" <tarjei.jensen@kvaerner.com> wrote in message
news:a7240i$rh416@news.kvaerner.com...
> Larry Kilgallen wrote:
> > Christoph Grein writes:
> >
> > > The ARG really has enough urgent problems to solve, and I bey they are
> > > reluctant to handle any such weird proposals.
> >
> > Out of curiosity, what are some of the "urgent problems" ?
>
> They could get us unsigned integers and not just the positive part of
> integers. By unsigned I mean unsigned with runtime checking.
>
> Quoting C unsigned as a reason for not having real unsigned is pretty
bogus
> because C integers seems to wrap very well.
>
> We don't want to abandon runtime checks on integers just because C does
not
> do any checking.