On Feb 20, 2014 10:33 PM, "Neil Toronto" <<a href="mailto:neil.toronto@gmail.com">neil.toronto@gmail.com</a>> wrote: > > On 02/20/2014 02:52 PM, <a href="mailto:asumu@racket-lang.org">asumu@racket-lang.org</a> wrote: >> >> asumu has updated `master' from 1f27fb7848 to 1c6c0855f7. >> <a href="http://git.racket-lang.org/plt/1f27fb7848..1c6c0855f7">http://git.racket-lang.org/plt/1f27fb7848..1c6c0855f7</a> >> >> =====[ 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: <a href="http://www.ccs.neu.edu/racket/pubs/oopsla12-tsdthf.pdf">http://www.ccs.neu.edu/racket/pubs/oopsla12-tsdthf.pdf</a> Sam