((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[racket] function equality with contracts

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Jan 24 15:56:01 EST 2011		 
On Jan 24, 2011, at 2:41 PM, Eric Tanter wrote:

> Hi all,
> 
> From the DLS'10 paper of Stephen and Matthias, it says "the class system must determine that two classes are equal modulo contract wrapping". 
> 
> I'm interested in that exact property but for functions. Ie. how do we determine if two functions are "equal" modulo contract wrapping?

eta-expansion? proxy-lambda? 


> 
> Thanks!
> 
> -- Éric
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users
Posted on the users mailing list.