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 ⊥
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
