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
signature.asc
Description: OpenPGP digital signature
____________________ Racket Users list: http://lists.racket-lang.org/users