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

Added a link to the optimization guide in the TR reference.

Browse Source 
original commit: 82f976a4d9c94d880a817a8a70b99f8673d01616
This commit is contained in:
Vincent St-Amour 2010-08-02 11:41:14 -04:00
parent 83c6f99041
commit 6e1c0a9ca5
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-scheme/scribblings/ts-reference.scrbl
View File

@ -1,6 +1,6 @@
#lang scribble/manual
@begin[(require "utils.rkt" scribble/eval
@begin[(require "utils.rkt" scribble/eval scriblib/footnote
racket/sandbox)
(require (for-label (only-meta-in 0 typed/racket)
racket/list srfi/14
@ -596,6 +596,12 @@ have the types ascribed to them; these types are converted to contracts and chec
@section{Optimization in Typed Racket}
@note{
See
@secref[#:doc '(lib "typed-scheme/scribblings/ts-guide.scrbl")]{optimization}
in the guide for tips to get the most out of the optimizer.
}
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.