[pro] Sensible interpretation of declarations in CLOS

[Juan Jose Garcia-Ripoll]

On Mon, Oct 29, 2012 at 4:35 PM, Daniel Herring <dherring at tentpost.com>wrote:

> On 9 Oct 2012, at 22:44, Juan Jose Garcia-Ripoll <
>> juanjose.garciaripoll at gmail.**com <juanjose.garciaripoll at 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-vocabs.refresh.html>
> http://docs.factorcode.org/**content/article-tuple-**redefinition.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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/pro/attachments/20121029/f7e27caa/attachment.html>