[racket-dev] a small Racket success story

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Wed Aug 18 09:14:48 EDT 2010

On Wed, Aug 18, 2010 at 8:58 AM, Shriram Krishnamurthi <sk at 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
samth at ccs.neu.edu

Posted on the dev mailing list.