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

Attachment: signature.asc
Description: OpenPGP digital signature

____________________
  Racket Users list:
  http://lists.racket-lang.org/users

Reply via email to