On Tuesday, 6 April 2021 00:32:59 UTC 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
Hello Igor, There is an implementation of a subset of Tcl in Haskell. Not sure if this is what you need, but I tried playing with it some years ago and found it interesting. https://hackage.haskell.org/package/hiccup