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


On 2020-04-01 16:50 +0200, Marc Nieper-Wißkirchen wrote:
>After the clarification above, could you say what still looks awkward to
>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.


Wolfgang Corcoran-Mathe  <>

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