[racket-dev] Typed Racket and eq?

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Aug 2 09:47:07 EDT 2010

On Mon, Aug 2, 2010 at 9:40 AM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> If I export map (w/out change to type) from typed/racket and eq? it
> against the map from racket, the two are eq?.  This feels like a
> violation of abstraction: typed map is a "different thing" from
> untyped map.

TR doesn't put additional contracts on the implementation of Racket
primitives, since they already come with error-checking.  I'm not sure
what you would want the difference in behavior to be between the two
versions of `map'.
sam th
samth at ccs.neu.edu

Posted on the dev mailing list.