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

From: Sam TH (samth at ccs.neu.edu)
Date: Mon Feb 26 16:45:29 EST 2007

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

Posted on the users mailing list.