On Feb 20, 2014 10:33 PM, "Neil Toronto" <neil.toro...@gmail.com> wrote: > > On 02/20/2014 02:52 PM, as...@racket-lang.org wrote: >> >> asumu has updated `master' from 1f27fb7848 to 1c6c0855f7. >> http://git.racket-lang.org/plt/1f27fb7848..1c6c0855f7 >> >> =====[ 103 Commits ]==================================================== >> Directory summary: >> 3.8% pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/ >> 10.7% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/ >> 6.1% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/ >> 4.0% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/ >> 34.5% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/ >> 9.6% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/ >> 4.0% pkgs/typed-racket-pkgs/typed-racket-more/typed/mred/ >> 23.6% pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/ >> 3.4% pkgs/ >> >> ~~~~~~~~~~ >> >> [... HOLY COW ...] > > > 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. > > Also, is there a paper floating around somewhere that details the interesting problems that have been solved to make this work?
Since Asumu didn't mention it, the first paper about this is here: http://www.ccs.neu.edu/racket/pubs/oopsla12-tsdthf.pdf Sam
_________________________ Racket Developers list: http://lists.racket-lang.org/dev