Yes, if you just change `#lang typed/racket/base` to `#lang typed/racket/base/no-check`, that's what you'll get.
Sam On Mon, Jun 1, 2015 at 10:34 PM, John Carmack <jo...@oculus.com> wrote: > Is there an option to parse all the type annotations, but not do any of the > checking? Highly interactive tuning sessions could work without type > checking, then turn it back on for structural work. > > > >> On Jun 1, 2015, at 9:05 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: >> >> Unfortunately, Typed Racket typechecking is pretty slow, and so the >> times you have there are not out of the ordinary. The most significant >> thing that's slow in Typed Racket is type checking numeric operations, >> because both the numbers themselves and the operations have >> complicated types. >> >> If you can say more about the program in particular, I can maybe >> suggest something that would speed it up, but it's currently a >> combination of expensive-in-principle algorithms and not being >> designed for speed many years ago when I started. >> >> Sam >> >>> On Mon, Jun 1, 2015 at 9:06 PM, John Carmack <jo...@oculus.com> wrote: >>> I am working on a little project to remotely drive a VR headset with code >>> written in Racket as an attempt to make a significantly faster development >>> environment for certain types of VR apps. I am worried about what appears >>> to be the compile speed. >>> >>> >>> >>> It takes over three seconds from hitting ctrl-R in DrRacket to executing the >>> first statement of a 350 line typed racket program. It only uses: >>> >>> #lang typed/racket/base >>> >>> (require racket/tcp) >>> >>> >>> >>> That seems to be about twice as slow as a larger untyped racket program >>> using a bunch more stuff, but even that isn’t great: >>> >>> #lang racket >>> >>> (require 2htdp/universe) >>> >>> (require 2htdp/image) >>> >>> (require 2htdp/planetcute) >>> >>> (require (only-in racket/gui/base play-sound)) >>> >>> >>> >>> Does Run from DrRacket have a significant time penalty? >>> >>> Are there any steps I can take to make typed racket compile faster? >>> >>> In many cases I don’t care much about the execution speed. >>> >>> >>> >>> I would like to think that compiling and running a few hundred lines of code >>> on a modern desktop system should be essentially instant. >>> >>> >>> >>> >>> >>> -- >>> 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. > > -- > 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. -- 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.
