First thoughts Marc Nieper-Wißkirchen (30 Mar 2020 06:39 UTC)
Re: First thoughts John Cowan (30 Mar 2020 14:19 UTC)
Re: First thoughts Marc Nieper-Wißkirchen (30 Mar 2020 17:12 UTC)
Re: First thoughts Wolfgang Corcoran-Mathe (01 Apr 2020 13:56 UTC)
Re: First thoughts Marc Nieper-Wißkirchen (01 Apr 2020 14:50 UTC)
(missing)
(missing)
(missing)
(missing)
(missing)
Re: First thoughts Marc Nieper-Wißkirchen (03 Apr 2020 09:27 UTC)
Re: First thoughts Marc Nieper-Wißkirchen (01 Apr 2020 16:16 UTC)
Re: First thoughts John Cowan (01 Apr 2020 16:37 UTC)
Re: First thoughts Marc Nieper-Wißkirchen (01 Apr 2020 20:01 UTC)
Re: First thoughts Wolfgang Corcoran-Mathe (02 Apr 2020 18:55 UTC)
Re: First thoughts Marc Nieper-Wißkirchen (02 Apr 2020 19:38 UTC)
Re: First thoughts Marc Nieper-Wißkirchen (03 Apr 2020 09:33 UTC)

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