Re: Alternative syntax for interacting with the store monad

[Maxim Cournoyer]

Hi Simon,

Simon Tournier <zimon.toutoune@gmail.com> writes:

> 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?

Sorry, it's been a while since I needed to do so and don't have an
example at hand, but I do know about (guix monad-repl) and use it.
Perhaps I was trying to come up with some more complex piece of code in
a module, and had to use the monadic interface.

Anyway, I'll try to drop by here next time I face such a real
scenario/example.

-- 
Thanks,
Maxim