[racket] member et al.

From: Hendrik Boom (hendrik at topoi.pooq.com)
Date: Thu Nov 11 13:00:28 EST 2010

On Thu, Nov 11, 2010 at 08:07:02AM -0500, Sam Tobin-Hochstadt wrote:
> But it
> isn't about types or contracts, it's about what the semantics of
> `member' should be.

Yes, this is exactly what it's about.  But sometimes it's not until you 
see types and contracts that you realise that something is broken.

-- hendrik

Posted on the users mailing list.