[racket-dev] exact nonnegative integers as sequences?

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Apr 18 10:06:52 EDT 2011

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
sam th
samth at ccs.neu.edu

Posted on the dev mailing list.