<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif;font-size:small"><div class="gmail_default">Hi,</div><div class="gmail_default"><br></div><div class="gmail_default">I'm looking for a toy imperative language implementation in Haskell for research purposes. I imagine something like the language of arithmetic expressions from TAPL ch. 3 augmented with</div><div class="gmail_default"><div class="gmail_default">- while-loop (so the CFG has loops)</div><div class="gmail_default">- blocks (sequence of statements to put inside loops and conditionals)<br></div><div class="gmail_default"></div><div class="gmail_default">- assignment (otherwise we can't show any effects from sequences)</div><div class="gmail_default"><br></div><div class="gmail_default">I think there's probably nothing exactly like that so we might end up doing it ourselves but maybe there's already something out there.</div><div class="gmail_default"><br></div><div class="gmail_default">Thank you in advance.</div><div class="gmail_default"><br></div><div class="gmail_default">Regards,</div></div></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><font face="tahoma, sans-serif">Igor Moreno<br><br><span style="font-size:13px"><br></span></font></div></div></div>