On Mon, Aug 2, 2010 at 11:07 AM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>>> Now, you will say but TR wraps only defined identifiers. I think that is a SUBTLE and INTENSIONAL difference that in principle, a client such as C shouldn't even see. Modules are not supposed to be inspected for who defines what and so on. They are supposed to be service providers will well-defined interfaces.
> Your interface says that all provided identifiers went thru typing and went thru a typed provide interface.
I don't believe that there are any extensional observations that can
be made to distinguish these. `eq?' is a special case, here as in
many other places.
--
sam th
samth at ccs.neu.edu