Re: [racket-users] PSA: alexis/collection is dead, long live data/collection

On Sunday, December 6, 2015 at 11:07:26 PM UTC-5, Alexis King wrote: > The honest answer to your question is that I don’t know (though I’d also be > interested to hear the answer). Obviously, I’d like to see generic APIs given > more thought, but they are currently somewhat slow due to how dispat

Re: [racket-users] Redex Engine Internals

>Anyways, here's the model: > https://github.com/ericmercer/4M/blob/master/4M/super_model/super-model.rkt > And here's Fedex: > https://github.com/ericmercer/4M/blob/master/4M/super_model/fedex.rkt Jay, it's really interesting. Thank you! BR, Anton Podkopaev 2015-12-04 20:05 GMT+03:00 Jay McCart

Re: [racket-users] Redex Engine Internals

> I think you want to do this: > (current-cache-all? #t) Thank you, Robby! It mostly solves my problems. BR, Anton Podkopaev 2015-12-04 20:33 GMT+03:00 Robby Findler : > It looks like your semantics has a lot of different ways to reach the > same term (ie the reduction graph has a lot of sharing