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 <sa...@ccs.neu.edu> wrote: > On Mon, Aug 2, 2010 at 9:40 AM, Shriram Krishnamurthi <s...@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 > sa...@ccs.neu.edu > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
