[racket-dev] Typed Racket and eq?

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