Sam: Currently all the fail tests for TR pass if this check is removed, can you add one that exposes the issues around subtyping?
On Thu, Apr 11, 2013 at 6:33 AM, Anthony Carrico <acarr...@memebeam.org> wrote: > On 04/11/2013 09:26 AM, Sam Tobin-Hochstadt wrote: >> This is indeed something we've run into before. See section 4.2 of >> this paper: http://www.ccs.neu.edu/racket/pubs/sfp10-kth.pdf >> >> We could probably also introduce something like Haskell's `newtype` to >> address this, as you suggest, but it's not obvious to me how that >> would work in interoperation with untyped code, for example. There >> are a lot of open questions here, and I think we can eventually give >> better answers to them than we currently have, but we don't have them >> yet. > > Cool. It is great have the opportunity to learn about types a familiar > environment. Thanks. > > -- > Anthony Carrico > > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users > ____________________ Racket Users list: http://lists.racket-lang.org/users