On Mon, Apr 18, 2011 at 9:58 AM, Robby Findler <ro...@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 sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
