[plt-scheme] New contract-related features

From: Stevie Strickland (sstrickl at ccs.neu.edu)
Date: Sun Feb 15 17:47:52 EST 2009

On Feb 15, 2009, at 6:23 AM, Thomas Chust wrote:
> 2009-02-15 Stevie Strickland <sstrickl at ccs.neu.edu>:
>> In SVN I've added three new major features that involve contracts.
>> One allows for more fine-grained control of contracts, and the other
>> two allow for the use of contracts with signatures and units.
>> [...]
> Wow, quite impressive enhancements and very useful ones :-)
> Are there any plans to add something along the same lines to classes
> and interfaces in PLT Scheme, too, or is it even already possible to
> use the new contract regions inside classes?

To some extent you can, but not in a way to get what you'd really want  
from contracted classes and interfaces.  Adding contracts to the class  
system is indeed planned, and I hope to turn my focus to that and get  
it going in the near future.


Posted on the users mailing list.