[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: A reply and some more thoughts on specializing built-in

CommonLoops supports a predicate
(SPECIALIZABLE-P <function>).

The domain of functions in the silver book for which SPECIALIZABLE-P
returns T can start at () and increase over time as we understand 
the implementation impact of extending the list.

Proposals for an initial list of SPECIALIZABLE-P function from
the silver book is independent of any use of CommonLoops 
since as CommonLoops as defined does not require any such