[racket] fingertree / nested datatype

From: Anthony Carrico (acarrico at memebeam.org)
Date: Thu Apr 11 09:33:41 EDT 2013

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <http://lists.racket-lang.org/users/archive/attachments/20130411/4e8cefc1/attachment.sig>

Posted on the users mailing list.