[plt-scheme] Compiler optimizes Typed Scheme?!?

On 2/26/07, Paulo J. Matos <pocm at soton.ac.uk> wrote:
> On 2/26/07, Sam TH <samth at ccs.neu.edu> wrote:

> > A program that uses Typed Scheme as part of a larger project, using
> > the ability of Typed Scheme to interoperate with other PLT Scheme
> > code, will incur the runtime overhead of contracts at the boundary
> > between typed and untyped code.
> >
>
> I'm sorry, now you lost me.  When are those contracts enforced? How
> does typed scheme know the boundary between typed and untyped scheme?
>
> [ reading the manual more closely ]
>
> Humm, maybe I understand. You can't just mix typed and untyped scheme
> in the same module, can you?

Right.  Typed or untyped is a module-level decision.

> If your answer is that I can't, then you can forget my initial question. :)
>
> Moreover, is there any printable version of the typed scheme manual?

Not at the moment.

-- 
sam th
samth at ccs.neu.edu