Re: Alternative syntax for interacting with the store monad

[Simon Tournier <zimon.toutoune@gmail.com>]

Hi Maxim,

On Fri, 03 Jan 2025 at 00:04, Maxim Cournoyer <maxim.cournoyer@gmail.com> wrote:

>                                              (I sometimes dabble with
> the monad, and the reason I don't do it more often at the REPL is partly
> because I need to retrain myself how to use it every time :-)).
> Something more intuitive could help

Well, if we are speaking about REPL, I think one direction to explore
seems about meta command.  Time to time, I use run-in-store or
enter-store-monad and for my use cases, they have been enough.

Could you provide an example of what you would like to run from the
REPL?

Cheers,
simon