[racket-dev] Typed Racket and eq?

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Mon Aug 2 09:40:33 EDT 2010

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.


Posted on the dev mailing list.