[racket] fingertree / nested datatype

From: Eric Dobson (eric.n.dobson at gmail.com)
Date: Thu Apr 11 12:12:48 EDT 2013

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 <acarrico at 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
>

Posted on the users mailing list.