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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sun Jul 14 14:56:35 EDT 2013

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).


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>

Posted on the users mailing list.