[plt-scheme] macro question

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:

  (provide/contract/typed
    [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