[racket-dev] Typed Racket and eq?

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Aug 2 11:37:48 EDT 2010

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

Posted on the dev mailing list.