[racket] procedure, contract, assoc, and REPL

YC wrote:

> 
> On Thu, Jul 22, 2010 at 6:38 AM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
> 
> YC, this can all work out IF you organize your program like this: 
> 
>  module A: define functions, export with contracts and only with contracts 
>  module B: import A and create the assoc lists from here 
>  module C: the client imports from B only and performs all ops on the assoc list via B operations 
> 
> Then the keys are contracted procedures and lookup works out fine. 
> 
> Thanks Matthias for the idea.  I needed to have all procedures eq itself in a dynamic setting (yes they already work in modules as expected), but as Robby explained why they do not, I will try to explore alternative approaches. 

FWIW I've done this in a couple of places before and it works quite well.

-- D

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20100723/0d3f7245/attachment.html>