[racket] PLT-Redex modeling side effects and thread?

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.tomson at 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130714/a2f7528b/attachment.html>