From 6e1c0a9ca58c4af3e9251f2d17828c40c1d8fbe2 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 2 Aug 2010 11:41:14 -0400 Subject: [PATCH] Added a link to the optimization guide in the TR reference. original commit: 82f976a4d9c94d880a817a8a70b99f8673d01616 --- collects/typed-scheme/scribblings/ts-reference.scrbl | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl index c8660970..8daab985 100644 --- a/collects/typed-scheme/scribblings/ts-reference.scrbl +++ b/collects/typed-scheme/scribblings/ts-reference.scrbl @@ -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.