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 <[email protected]> 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 <[email protected]> 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 <[email protected]> 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 [email protected]. >>> 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
