On Tue, Aug 17, 2010 at 9:21 PM, Shriram Krishnamurthi s...@cs.brown.edu
wrote:
we couldn't type the generator code (a bad interaction between mutation
and occurrence typing).
In almost all cases, when TR rejects your program because of this,
your code is incorrect in the presence of threads
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
On Wed, Aug 18, 2010 at 12:02 PM, Will M. Farr wmf...@gmail.com wrote:
Hello all,
I've been thinking for a while about putting together a PLaneT library of
some iteration/comprehension forms that I often use that are not found in the
racket core. Right now, I have a small it-comp.plt local
3 matches
Mail list logo