<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>I have kempe - the backend is the interesting part I guess
<a class="moz-txt-link-freetext" href="http://hackage.haskell.org/package/kempe">http://hackage.haskell.org/package/kempe</a><br>
</p>
<p>It has blocks, it's effectful, it has no loops (just recursion)
though.<br>
<br>
- Vanessa McHale<br>
</p>
<div class="moz-cite-prefix">On 4/5/21 7:32 PM, Igor Moreno Santos
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAAHGkJAjLA5Da2V4ZzWV47BO91XQgE1FBXjAHVe2Kh-8HVjagg@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<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">- 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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
</blockquote>
</body>
</html>