Taylor Campbell scripsit:

> While type declarations are useful (though I *abhor* the :: syntax),
> limiting declarations solely to types, I think, is not, and they do
> not usefully subsume semantic distinctions, which may go deeper than
> simply coercing values here & there, and which should be provided in
> the form of different procedures with different semantics; e.g., the
> (MODULAR-ADDER n) &c. procedures I suggested earlier.  Declarations
> are useful to have, such as (DECLARE ARRAY-INDEX FOO BAR-ARRAY), but
> I think they are really out of the scope of this SRFI.

+1

--
Eric Raymond is the Margaret Mead               John Cowan
of the Open Source movement.                    xxxxxx@reutershealth.com
        --Bruce Perens,                         http://www.ccil.org/~cowan
          some years ago                        http://www.reutershealth.com