Re: [racket] Dynamic module loading

2014-02-05 Thread Evan Donahue
It just struck me that my alias lang is structured a lot like #lang datalog (accumulating assertions into a hidden theory). Sure enough, datalog seems, on first glance, to handle some of the issues I'm facing. At the risk of jynxing it, I think datalog can probably show me the rest of the way. Tha

Re: [racket] Dynamic module loading

2014-02-04 Thread Evan Donahue
Thanks for the response. The dynamic-require + rerequire seems to handle that issue, and with the addition of some module-begin code I have successfully hidden the construction of the hash from the end user. There is just one more item on my desiderata that seems to be stumping me, the general stat

Re: [racket] Dynamic module loading

2014-01-31 Thread Jay McCarthy
Hi Evan, Your alias file is like a function with the type (-> Void) because it is run only for its effect and its effect is only to "add", which makes it impossible to "subtract". One way to solve this is to change its type to (-> Hash) so that it returns what the hash should be. For instance, (d