This is the mail archive of the guile@cygnus.com mailing list for the guile project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: OOP and Relationship to the Guile Module System

Klaus Schilling <Klaus.Schilling@home.ivm.de> writes:

> Mathematical set theory and logics has to be careful about avoiding antinomies
> like those of Russel, Burali-Forte and Cantor, all caused by meta-sets. 
> Zermelo's set axioms eliminate the danger of antinomies.
>  
>  May an improperly designed meta-stuff protocol also lead to antinomies?
> How are they avoided in CLOS ?  

There is Kiczales' (sp?) 'The Art of the MetaObject Protocol', which
probably has the answer.  This seems like a hard question to answer on
a mailing list.

-russ

--
My mailer limits .sigs files to 2 lines. But ingeniously I bypassed this by