[racket] fingertree / nested datatype
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
>