[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: cond*
|
From: |
Ihor Radchenko |
|
Subject: |
Re: cond* |
|
Date: |
Sat, 13 Jan 2024 19:47:51 +0000 |
Richard Stallman <rms@gnu.org> writes:
> ... I think
> they will accept (symbolp x) also. I think that people will get used
> to this once they start actually using cond*.
People may as well get used to `pcase'.
But `cond*' is supposed to be _better_ than `pcase', isn't it?
Otherwise, we will end up not with one, but two confusing pattern
matching macros and people will have to learn both.
> To require use of the more complex `constrain' form even for the
> common simple cases would make cond* less convenient for real. I
> don't think it would be wise to create a real drawback to eliminate a
> mere perception of a drawback.
I was confused when reading the examples you provided. Same for Adam.
So, at least two people are confused - it is not a "mere perception".
I tried to come up with some better notation that is not as verbose as
"constrain", but I cannot think of anything less confusing,
unfortunately.
--
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>
- Re: cond*, (continued)
- Re: cond*, Ihor Radchenko, 2024/01/06
- RE: [External] : Re: cond*, Drew Adams, 2024/01/06
- Re: [External] : Re: cond*, Richard Stallman, 2024/01/07
- RE: [External] : Re: cond*, Drew Adams, 2024/01/08
- map seq and radix-tree-leaf, in pcase, Richard Stallman, 2024/01/08
- Re: cond*, Richard Stallman, 2024/01/07
- Re: cond*, Ihor Radchenko, 2024/01/10
- Re: cond*, Richard Stallman, 2024/01/12
- Re: cond*, Adam Porter, 2024/01/13
- Re: cond*, Richard Stallman, 2024/01/15
- Re: cond*,
Ihor Radchenko <=
- Re: cond*, Richard Stallman, 2024/01/14
- Re: cond*, Richard Stallman, 2024/01/07
- Re: cond*, Ihor Radchenko, 2024/01/08
- Re: cond*, Richard Stallman, 2024/01/26
Re: cond*, Richard Stallman, 2024/01/02