[racket-dev] Typed Racket and eq?

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Mon Aug 2 10:01:05 EDT 2010

I'm not talking about behavior, I'm talking about the intended
semantics of observations in the language.

Shriram

On Mon, Aug 2, 2010 at 9:47 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> 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.