Re: Common Lisp solved this problem 20 years ago

["John.Cowan" <jcowan@xxxxxxxxxxxxxxxxx>]

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.                    jcowan@xxxxxxxxxxxxxxxxx
        --Bruce Perens,                         http://www.ccil.org/~cowan
          some years ago                        http://www.reutershealth.com