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