[racket-dev] [plt] Push #28213: master branch updated

From: Neil Toronto (neil.toronto at gmail.com)
Date: Thu Feb 20 23:25:59 EST 2014

On 02/20/2014 09:03 PM, Asumu Takikawa wrote:
> On 2014-02-20 20:31:56 -0700, Neil Toronto wrote:
>> How close is this to being able to support, say, the plot library
>> converted to TR? The OO stuff in it is a few custom classes without
>> anything complicated, a couple of snip% descendants, and drawing
>> onto device contexts.
>
> Should be very close. Not quite there currently because there are two
> more chunks that I've written and haven't pushed yet:
>
>    * Implicit (mutual) recursive type aliases, so that a `define-type`
>      can define mutually recursive type alises like the types for
>      `bitmap%` and `bitmap-dc%`.

You mean something like this would work?

   (define-type (Leaf1 X) (Pair (Leaf2 X) (Leaf2 X)))
   (define-type (Leaf2 X) (U X (Pair (Leaf1 X) (Leaf1 X))))

>    * Types for everything in racket/gui and a few other libraries.
>      Types for the framework are still work-in-progress.
>
>    * Full contract support.

I'm with Robby. This sounds awesome.

Neil ⊥


Posted on the dev mailing list.