On Wed, Aug 18, 2010 at 8:58 AM, Shriram Krishnamurthi <s...@cs.brown.edu> wrote: > 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.
I don't understand what you're saying here. TR rejects this program, so how could it be a problem for TR? I was pointing out that taking the types out doesn't make this program correct. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
