[racket] impersonators/chaperones for lists

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Sat Oct 22 17:28:57 EDT 2011

At Sat, 22 Oct 2011 22:10:27 +0200,
Shriram Krishnamurthi wrote:
> I'm missing why there are impersonators and chaperones for various
> datatypes but not for lists.  There's surely a good reason why, but I
> am having trouble reconstructing what it might be.  Anyone?

I believe it's because lists are immutable, and chaperones have mostly
been used for contracts on mutable data.

Vincent


Posted on the users mailing list.