<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div>I wonder if something from The Programming Languages Zoo would be helpful:</div><div><br></div><div> <a href="https://plzoo.andrej.com/">https://plzoo.andrej.com/</a></div><div><br></div><div>It’s in OCaml but might be a good starting point.</div><div><br></div><div>Jeff</div><div><br>On Apr 5, 2021, at 5:32 PM, Igor Moreno Santos <<a href="mailto:igormoreno@gmail.com">igormoreno@gmail.com</a>> wrote:<br><br></div><blockquote type="cite"><div><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>
</div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>Haskell-Cafe mailing list</span><br><span>To (un)subscribe, modify options or view archives go to:</span><br><span><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a></span><br><span>Only members subscribed via the mailman list are allowed to post.</span></div></blockquote></body></html>