<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'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">http://stackoverflow.com/questions/17642316/can-plt-redex-model-these-features</a>)<br></div><div><br></div><div><p style="margin:0px 0px 1em;padding:0px;border:0px;font-size:14px;vertical-align:baseline;clear:both;word-wrap:break-word;color:rgb(0,0,0);font-family:Arial,'Liberation Sans','DejaVu Sans',sans-serif;line-height:18px"> Just starting to learn PLT-Redex... Two questions come up:</p><ol style="margin:0px 0px 1em 30px;padding:0px;border:0px;font-size:14px;vertical-align:baseline;list-style-position:initial;color:rgb(0,0,0);font-family:Arial,'Liberation Sans','DejaVu Sans',sans-serif;line-height:18px"> <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,'Lucida Console','Liberation Mono','DejaVu Sans Mono','Bitstream Vera Sans Mono','Courier New',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,'Lucida Console','Liberation Mono','DejaVu Sans Mono','Bitstream Vera Sans Mono','Courier New',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="margin:0px 0px 1em;padding:0px;border:0px;font-size:14px;vertical-align:baseline;clear:both;word-wrap:break-word;color:rgb(0,0,0);font-family:Arial,'Liberation Sans','DejaVu Sans',sans-serif;line-height:18px"> Thanks in advance,</p><p style="margin:0px 0px 1em;padding:0px;border:0px;font-size:14px;vertical-align:baseline;clear:both;word-wrap:break-word;color:rgb(0,0,0);font-family:Arial,'Liberation Sans','DejaVu Sans',sans-serif;line-height:18px"> <br></p><p style="margin:0px 0px 1em;padding:0px;border:0px;font-size:14px;vertical-align:baseline;clear:both;word-wrap:break-word;color:rgb(0,0,0);font-family:Arial,'Liberation Sans','DejaVu Sans',sans-serif;line-height:18px"> --Monica</p></div></div>