[Haskell-cafe] Looking for a toy imperative language implementation in Haskell for research

[Igor Moreno Santos]

Hi,

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
- while-loop (so the CFG has loops)
- blocks (sequence of statements to put inside loops and conditionals)
- assignment (otherwise we can't show any effects from sequences)

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.

Thank you in advance.

Regards,
Igor Moreno
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20210406/9cbe2b24/attachment.html>