[plt-scheme] macro question

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Wed Jun 11 08:45:29 EDT 2008

On Jun 11, 2008, at 8:16 AM, hendrik at topoi.pooq.com wrote:

> On Wed, Jun 11, 2008 at 07:55:25AM -0400, Matthias Felleisen wrote:
>> TS and contracts aren't integrated yet. See earlier reply -- Matthias
> Doesn't TS convert types to contracts at module boundaries?

It does.

But integration would mean something like this:

    [retrieve ((listof X) (contract int (lambda (l i) (<= 0 i (-  
(length l) 1))))  -> X)])

That is, you can impose contracts AND types on an exported  
identifiers. -- Matthias

Posted on the users mailing list.