suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove out of date OC docs and replace with pointer to the OC package.

Browse Source 
original commit: 9a7663ac734283a51a057e4040008b63ad944c11
This commit is contained in:
Vincent St-Amour 2014-08-28 10:42:13 -04:00
parent 224986b222
commit 2c9aca6fc0
1 changed files with 9 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/optimization.scrbl
View File

@ -6,14 +6,14 @@
@title[#:tag "optimization"]{Optimization in Typed Racket}
Typed Racket provides a type-driven optimizer that rewrites well-typed
programs to potentially make them faster. It should in no way make
your programs slower or unsafe.
@margin-note{For general information on Racket performance and
benchmarking, see @secref[#:doc '(lib
"scribblings/guide/guide.scrbl")]{performance}.}
Typed Racket provides a type-driven optimizer that rewrites well-typed
programs to potentially make them faster. It should in no way make
your programs slower or unsafe.
@section{Turning the optimizer off}
@ -30,6 +30,11 @@ Racket idioms. However, it does a better job on some idioms than on
others. By writing your programs using the right idioms, you can help
the optimizer help you.
To best take advantage of the Typed Racket optimizer, keep the following in
mind. The @emph{Optimization Coach} package provides optimization coaching
support to help you in this task.
@subsection{Numeric types}
Being type-driven, the optimizer makes most of its decisions based on
the types you assigned to your data. As such, you can improve the
@ -158,29 +163,6 @@ In many such cases, however, @seclink[#:doc '(lib
preferable to vectors. Typed Racket can optimize struct access in all
cases.
@subsection[#:tag "optimization-coach"]{Optimization coaching}
The Optimization Coach package provides optimization coaching support to help
you get the most of the Typed Racket optimizer. To install it, run the following
command:
@commandline{raco pkg install optimization-coach}
After it is installed, an "Optimization Coach" button will appear on the
DrRacket toolbar for Typed Racket programs.
Similar information (albeit without in-depth explanations or advice) is
available from the command line. When compiling a Typed Racket program, setting
the racket @seclink[#:doc '(lib "scribblings/reference/reference.scrbl")
"logging"]{logging} facilities to the @racket['debug] level and listening to
the @racket['TR-optimizer] logger causes Typed Racket to display performance
debugging information. Setting the Racket logging level can be done on the
command line with the @racket[-W] flag:
@commandline["racket -W debug@TR-optimizer my-typed-program.rkt"]
@subsection[#:tag "contract-costs"]{Contract boundaries}
When interoperating with untyped code (see @secref{typed-untyped-interaction}),