[racket] procedure, contract, assoc, and REPL

From: Dave Gurnell (d.j.gurnell at gmail.com)
Date: Fri Jul 23 04:06:20 EDT 2010

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>

Posted on the users mailing list.