Dear all,<br><div class="gmail_quote"><div><br></div><div>I am retaking an old question, which is the utility of type declarations in a language that has the flexibility of the MOP.</div><div><br></div><div>In an extremely open-minded setup, where any class is prone to change, not only their structure, but also their metaclass, it would seem that a local declaration of the kind (DECLARE (MY-CLASS FOO)) would be totally useless.</div>


<div><br></div><div>But... do you actually face that flexibility in real life? I mean, declarations such as (DECLARE (TYPE MY-INTEGER-TYPE FOO)) are used in actual code, where there is an implicit contract that the DEFTYPE type will not be changed in unsafe code. Can&#39;t we assume something similar when facing CLOS? What would be a reasonable optimization/safety/debug level to start considering that?</div>


<div><br></div><div>Best,</div><div><br></div><div>Juanjo</div><div><br></div></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>