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

I wonder if something from The Programming Languages Zoo would be helpful: https://plzoo.andrej.com/ It’s in OCaml but might be a good starting point. Jeff

On Apr 5, 2021, at 5:32 PM, Igor Moreno Santos wrote:

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

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.