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

Jeff Clites jclites at mac.com
Tue Apr 6 01:54:36 UTC 2021


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 <igormoreno at gmail.com> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20210405/49e09d8f/attachment.html>


More information about the Haskell-Cafe mailing list