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

[Lana Black]

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