Yes, these are both doable. For side-effects, probably the easiest thing is to have an expression paired with a store in your reduction relation. For threads you can use the pattern matcher's support for ambiguity to model non-deterministic choice.
There are examples of both of these in the redex examples directory (plt/collects/redex/examples/ in the latest release's directory structure). Robby On Sun, Jul 14, 2013 at 1:37 PM, Monica Tomson <monica.tom...@gmail.com>wrote: > Hi, > > I am not sure whether it is the right place to ask the questions, but I > didn't find the PLT-Redex mailing list or something like that: > > > My questions are (quoted from stack overflow: > > http://stackoverflow.com/questions/17642316/can-plt-redex-model-these-features > ) > > Just starting to learn PLT-Redex... Two questions come up: > > 1. Can we use PLT-Redex to model side effects? For example: simple > increment construct i++? > 2. What about thread? All the constructs introduced so far does not > involve something like creating an thread? synchronization of the thread? > is it doable in PLT-Redex (syntax as well as reduction rule? > > Thanks in advance, > > > --Monica > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users > >
____________________ Racket Users list: http://lists.racket-lang.org/users