[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: SRFI-47 -- types and declarations.
> Rather than introducing some kind of explicitly typed array, I think
> we should have multidimensional arrays (a la SRFI-25) enhanced with
> optional type declarations that allow compilers aware of them to
> produce optimized code -- but still have arrays be conceptually
There are good reasons to declare types for semantic reasons, not just
for space efficiency. For example, a few C programs rely on the implicit
modular arithmetic that you get by declaring a variable as unsigned.
However, this SRFI as written doesn't permit that kind of thing anyway
-- there's no guarantee of modular arithmetic (indeed, there's no
guarantee that #Au32 et al. exist at all).
Bradd W. Szonye