New draft (#4) of SRFI 189: Maybe and Either: optional container types Arthur A. Gleckler 02 Jun 2020 18:42 UTC
Re: New draft (#4) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 02 Jun 2020 18:48 UTC
Re: New draft (#4) of SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe 02 Jun 2020 19:08 UTC
Re: New draft (#4) of SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe 02 Jun 2020 19:06 UTC
Re: New draft (#4) of SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe 02 Jun 2020 19:12 UTC
New draft (#5) of SRFI 189: Maybe and Either: optional container types Arthur A. Gleckler 02 Jun 2020 22:24 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 04 Jun 2020 10:26 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types John Cowan 04 Jun 2020 22:50 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 06 Jun 2020 16:58 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe 07 Jun 2020 04:29 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 07 Jun 2020 10:28 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types John Cowan 14 Jun 2020 00:06 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 14 Jun 2020 11:07 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types John Cowan 14 Jun 2020 15:58 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 14 Jun 2020 16:08 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types John Cowan 14 Jun 2020 18:52 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 14 Jun 2020 19:25 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types John Cowan 14 Jun 2020 20:30 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 14 Jun 2020 20:57 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types John Cowan 14 Jun 2020 23:57 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 15 Jun 2020 06:22 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 15 Jun 2020 08:24 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types John Cowan 16 Jun 2020 18:47 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 16 Jun 2020 19:15 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 16 Jun 2020 19:17 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe 17 Jun 2020 17:17 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe 14 Jun 2020 19:25 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 14 Jun 2020 19:43 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe 14 Jun 2020 20:28 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 14 Jun 2020 20:42 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe 15 Jun 2020 13:13 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 16 Jun 2020 07:56 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Lassi Kortela 05 Jun 2020 16:12 UTC
Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 06 Jun 2020 16:59 UTC

Re: New draft (#5) of SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen 15 Jun 2020 08:24 UTC

Am Mo., 15. Juni 2020 um 08:22 Uhr schrieb Marc Nieper-Wißkirchen
<xxxxxx@nieper-wisskirchen.de>:
>
> Am Mo., 15. Juni 2020 um 01:57 Uhr schrieb John Cowan <xxxxxx@ccil.org>:
>
> >> If you want to go with such a long word, `list/false' is not longer,
> >> but maybe clearer. Why don't you like `->list*'?
> >
> >
> > Because "*" has no fixed meaning in Lisp; it's like the use of ' or _ in Haskell as the equivalent of mathematical prime.  Prime is useful in local scope, but not very helpful at all in global scope.
>
> let* is a good example, which exists at the global scope. The "*" may
> not be the best choice, but it better conveys (while definitely not
> optimally) the meaning than the suffix "multitruth".
>
> We could also drop the naming scheme with "->" for these procedures
> altogether (as the (co-)domain list + false does not have a name as a
> Scheme type) for more freedom in naming.
>
> Maybe others have better suggestions.

Anyway, it is just a name (so rather irrelevant compared with the
unfold thing, which, I think, the draft objectively gets wrong).

- Could you add `either->truth' and `either->multitruth' and
`truth->either' and `multitruth->either' as well? (The contents of a
Left are to be dropped as in `either->maybe'.) These procedures seem
to be missing for completeness.

- The name `generator->maybe' is misleading, I think. I would suspect
that it takes a generator and returns a maybe. But it takes a value
produced by a generator. The same holds for `maybe->generator'. For
completeness, add a similar pair of procedures for Eithers.