[racket-dev] Release Announcement for v5.3, second draft

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Aug 1 10:52:00 EDT 2012

On Wed, Aug 1, 2012 at 9:47 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Wednesday, August 1, 2012, Robby Findler wrote:
>>
>> On Wed, Aug 1, 2012 at 8:44 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu>
>> wrote:
>> >> The following have been deprecated and will be removed in the
>> >> August 2013 release:
>> >>
>> >>   - the `define-contract-struct' form. Use `struct' with `struct/dc'
>> >>     contracts instead.
>> >
>> > This entry surprises me.  Has it been discussed on the list?
>> > `define-contract-struct` has rather different semantics, right?
>>
>> What difference are you thinking of?
>
>
> `struct/dc` uses impersonators/chaperones to place contracts on the actual
> structure instances, whereas `define-contract-struct` wraps the
> accessor/constructor procedures, right?

No, that's wrong. struct/dc is like define-contract-struct. Check out
the docs or the IFL 2007 paper on my pubs web page.

Robby

Posted on the dev mailing list.