On Mon, Oct 29, 2012 at 4:35 PM, Daniel Herring <dherring@tentpost.com> wrote:
On 9 Oct 2012, at 22:44, Juan Jose Garcia-Ripoll <juanjose.garciaripoll@gmail.com> wrote:

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.

Slava Pestov did a few really nice things with Factor.  In particular, he had a mechanism that would dynamically trigger recompilation when "open coded/inlined" details changed (e.g. macro redefintion).  This declaration would be a good point to store such a hook in CL...

http://factorcode.org/
http://docs.factorcode.org/content/article-vocabs.refresh.html
http://docs.factorcode.org/content/article-tuple-redefinition.html

In an ideal world, yes, but ECL must currently stick to an environment (C) which does not allow for dynamic recompilation (no clang embedded yet). I know that SBCL plays some tricks and we have used our own tricks in this sense, but I expected that something more sensible could be agreed upon.

Juanjo

--
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain) 
http://juanjose.garciaripoll.googlepages.com