<div dir="ltr">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&#39;s support for ambiguity to model non-deterministic choice.<div>
<br></div><div>There are examples of both of these in the redex examples directory (plt/collects/redex/examples/ in the latest release&#39;s directory structure).</div><div><br>Robby</div></div><div class="gmail_extra"><br>
<br><div class="gmail_quote">On Sun, Jul 14, 2013 at 1:37 PM, Monica Tomson <span dir="ltr">&lt;<a href="mailto:monica.tomson@gmail.com" target="_blank">monica.tomson@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">Hi, <div><br></div><div>I am not sure whether it is the right place to ask the questions, but I didn&#39;t find the PLT-Redex mailing list or something like that: </div><div><br></div><div><br></div><div>My questions are (quoted from stack overflow: </div>

<div><a href="http://stackoverflow.com/questions/17642316/can-plt-redex-model-these-features" target="_blank">http://stackoverflow.com/questions/17642316/can-plt-redex-model-these-features</a>)<br></div><div><br></div><div>
<p style="clear:both;vertical-align:baseline;line-height:18px;font-size:14px;font-family:Arial,&#39;Liberation Sans&#39;,&#39;DejaVu Sans&#39;,sans-serif;margin:0px 0px 1em;word-wrap:break-word;border:0px;padding:0px">
Just starting to learn PLT-Redex... Two questions come up:</p><ol style="list-style-position:initial;vertical-align:baseline;line-height:18px;font-size:14px;font-family:Arial,&#39;Liberation Sans&#39;,&#39;DejaVu Sans&#39;,sans-serif;margin:0px 0px 1em 30px;border:0px;padding:0px">

<li style="margin:0px;padding:0px;border:0px;font-size:14px;vertical-align:baseline;background-color:transparent;word-wrap:break-word">Can we use PLT-Redex to model side effects? For example: simple increment construct <code style="margin:0px;padding:0px;border:0px;font-size:14px;vertical-align:baseline;background-color:rgb(238,238,238);font-family:Consolas,Menlo,Monaco,&#39;Lucida Console&#39;,&#39;Liberation Mono&#39;,&#39;DejaVu Sans Mono&#39;,&#39;Bitstream Vera Sans Mono&#39;,&#39;Courier New&#39;,monospace,serif">i++</code>?</li>

<li style="margin:0px;padding:0px;border:0px;font-size:14px;vertical-align:baseline;background-color:transparent;word-wrap:break-word">What about <code style="margin:0px;padding:0px;border:0px;font-size:14px;vertical-align:baseline;background-color:rgb(238,238,238);font-family:Consolas,Menlo,Monaco,&#39;Lucida Console&#39;,&#39;Liberation Mono&#39;,&#39;DejaVu Sans Mono&#39;,&#39;Bitstream Vera Sans Mono&#39;,&#39;Courier New&#39;,monospace,serif">thread</code>? 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?</li>

</ol><p style="clear:both;vertical-align:baseline;line-height:18px;font-size:14px;font-family:Arial,&#39;Liberation Sans&#39;,&#39;DejaVu Sans&#39;,sans-serif;margin:0px 0px 1em;word-wrap:break-word;border:0px;padding:0px">

Thanks in advance,</p><p style="clear:both;vertical-align:baseline;line-height:18px;font-size:14px;font-family:Arial,&#39;Liberation Sans&#39;,&#39;DejaVu Sans&#39;,sans-serif;margin:0px 0px 1em;word-wrap:break-word;border:0px;padding:0px">

<br></p><p style="clear:both;vertical-align:baseline;line-height:18px;font-size:14px;font-family:Arial,&#39;Liberation Sans&#39;,&#39;DejaVu Sans&#39;,sans-serif;margin:0px 0px 1em;word-wrap:break-word;border:0px;padding:0px">

--Monica</p></div></div>
<br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>