On Thu, Jan 6, 2011 at 10:15 AM, Robby Findler <[email protected]> wrote: > On Thu, Jan 6, 2011 at 10:11 AM, Keiko Nakata > <[email protected]> wrote: >> On Thu, Jan 6, 2011 at 3:29 PM, Robby Findler <[email protected]> >> wrote: >> >>> If you wanted to try, I'd suggest adapting the redex model and then >>> using random testing to try to find the difference..... >> >> 'By adapting the redex model' means to implement >> those operators discussed above in the redex? >> Then I first need to understand their semantics; >> do you have good references besides docs? >> I enjoy reading the source written in Racket, but the C part is tougher... > > There is a separate, formal model for the Racket's control operators > (some of them), implemented in Redex (a dsl for building formal > models). > > That model is probably a good place for you to experiment with doing > things like implementing raise, etc. > > I believe Casey has the latest version of it. >
It's distributed with Redex now. http://git.racket-lang.org/plt/tree/HEAD:/collects/redex/examples/delim-cont _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
