Yes, Matthias and I discussed this in the context of Typed Racket vs Typed JavaScript some months ago. TJS doesn't have to worry about this because of the single-threaded nature of the language. It seems to me this is a non-trivial problem for TR.
Shriram _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev