[racket-dev] exact nonnegative integers as sequences?

On Mon, Apr 18, 2011 at 9:58 AM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> I also don't buy Sam's implicit argument for my example. If I had
> tried to port this to code to typed racket to just read off the types,
> I would have spent far longer as debugging via TR's error messages is
> going to be less productive than debugging via tracing the flow of
> values in the program.

While I support this change for basically the reasons Matthew and
Matthias point to, I wasn't trying to claim that TR makes this easier
to follow, just that TR removes the performance penalty Matthew
mentioned.
-- 
sam th
samth at ccs.neu.edu