On 2016-04-18 03:47:45 +0800, WarGrey Gyoudmon Ju wrote: > And here is another question. Developing GUI Application involves typed > class system heavily, which makes the compiling time terribly long (if > this is the root cause).
It's possible that typed classes are slowing down typechecking, in particular typechecking methods can be slow. (I think this is in part because Typed Racket has to fold over entire types, and class types can be large) The typechecker for classes actually has some performance logging (that's disabled by default): https://github.com/racket/typed-racket/blob/master/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt#L37 which you could try turning on to see what's slow. (you will have to capture the log output, e.g., by setting the PLTSTDERR environment variable) Also if you send me some self-contained code that's particularly slow to typecheck I can look into it too. We don't have a global flag to turn off typechecking right now. I think the best thing for us to do is to try to make TR faster. Cheers, Asumu -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
