Re: Common Lisp solved this problem 20 years ago John.Cowan 26 Oct 2005 20:12 UTC
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