[BULK] Re: [plt-scheme] The perfect teaching language--Is this too much to ask for?

On Jun 13, 2009, at 18:00, Shriram Krishnamurthi <sk at cs.brown.edu>  
wrote:
>

> The *type* of isinstance would be something like
>
>  isinstance :: value x type -> boolean
>
> [Never mind that type should not be a type.]

I'm missing something.  Why shouldn't type be a type?

> If you want this, and you want dynamic enforcement (which you seem
> to), use the PLT contract system (not to be confused with "contracts
> as comments" a la HtDP), which is about as sophisticated as you will
> find in any language.

Is there a way to get enforced contracts in PLT Scheme within a single  
module?

Steve Bloch