Re: First thoughts Wolfgang Corcoran-Mathe 02 Apr 2020 18:55 UTC

Marc,

On 2020-04-01 16:50 +0200, Marc Nieper-Wißkirchen wrote:
>After the clarification above, could you say what still looks awkward to
>you?
>
>[*snip*]
>
>Already for
>that, having a Maybe monad in Scheme is a great thing.  But for that, we
>really have to take care and work hard to get the right and the full
>semantics of a monad.

Thanks very much for the clarifications.  It's clear and elegant,
although I wonder about concrete use-cases.

I found that adding multiple values to Maybe in the current
implementation required very little additional code; I doubt Either
would be much more work.  There are some questions about the
conversion functions that would have to be resolved, but it’s easy
to modify the core functions.

Regards,

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"Invent and fit; have fits and reinvent!" --Alan J. Perlis