From: Adam Porter <adam@alphapapa.net>
To: rms@gnu.org
Cc: acorallo@gnu.org, emacs-devel@gnu.org, joaotavora@gmail.com
Subject: Re: Code for cond*
Date: Sun, 21 Jan 2024 14:05:24 -0600 [thread overview]
Message-ID: <86a97153-94eb-4df4-b135-4127d2a00057@alphapapa.net> (raw)
In-Reply-To: <E1rRO8o-0001R8-Mx@fencepost.gnu.org>
Dear Richard,
With regard to these comments you made about Pcase and cond*:
> cond* has four basic advances over pcase: making bindings that cover
> the rest of the body, matching patterns against various data objects
> (not forcibly the same one), use of ordinary Lisp expressions as
> conditions in clauses, and the abolity to make bindings and continue
> with further clauses.
Respectfully, I'd like to point out a few things:
* "making bindings that cover the rest of the body...the ability to make
bindings and continue with further clauses"
As several here have mentioned, this is not universally perceived as an
advance. It can easily lead to ambiguity and cause confusion. It is
not very "Lispy" (similarly to cl-loop, where the bounds of its bindings
are ultimately contained at the top level, but can be introduced without
explicit or obvious bounds).
* "matching patterns against various data objects (not forcibly the same
one)"
Pcase can already do this (e.g. with its `guard' pattern). As well, it
destructures objects that cond* does not, such as maps, structs, and
EIEIO objects.
* "use of ordinary Lisp expressions as conditions in clauses"
Pcase can already do this with its `guard' pattern, which explicitly
demarcates an ordinary Lisp expression.
> I'm going to do some more testing and then install cond*.
Obviously, this is your prerogative. Yet, I would ask you again,
respectfully, to reconsider. Your stated reasons for writing cond* were
various shortcomings of Pcase. Some of those, e.g. the documentation,
have already had volunteers step up to address. The others could also
be addressed in various ways. I've suggested a few, but you haven't
explained the reasons for rejecting them.
It's often suggested that one enhance this or that library in Emacs or
ELPA rather than writing a new one that's similar but different. This
seems like one of those cases. Why write a cond* expression, given its
relative limitations, when one might need to rewrite it as Pcase later,
given Pcase's other abilities?
As well, it's already a complaint by some that having to learn Pcase is
a burden. How will that burden be helped by having to learn both Pcase
and cond*?
Thanks for your work on Emacs.
Sincerely,
Adam Porter
next prev parent reply other threads:[~2024-01-21 20:05 UTC|newest]
Thread overview: 134+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-01-18 3:37 Code for cond* Richard Stallman
2024-01-18 4:59 ` Emanuel Berg
2024-01-20 3:39 ` Richard Stallman
2024-01-24 12:37 ` Po Lu
2024-01-24 19:12 ` Alan Mackenzie
2024-01-27 3:35 ` Richard Stallman
2024-01-18 15:44 ` Andrea Corallo
2024-01-19 10:42 ` João Távora
2024-01-21 3:04 ` Richard Stallman
2024-01-21 20:05 ` Adam Porter [this message]
2024-01-22 5:32 ` tomas
2024-01-23 13:39 ` Richard Stallman
2024-01-24 6:02 ` Po Lu
2024-01-24 9:48 ` Stefan Kangas
2024-01-24 10:09 ` Emanuel Berg
2024-01-24 11:30 ` João Távora
2024-01-24 12:08 ` João Távora
2024-01-24 12:09 ` Po Lu
2024-01-24 12:22 ` Ihor Radchenko
2024-01-24 12:33 ` Po Lu
2024-01-24 13:34 ` Ihor Radchenko
2024-01-24 13:52 ` João Távora
2024-01-24 14:31 ` Po Lu
2024-01-27 3:35 ` Richard Stallman
2024-01-27 3:35 ` Richard Stallman
2024-01-24 14:07 ` Po Lu
2024-01-24 14:20 ` Ihor Radchenko
2024-01-24 14:34 ` Po Lu
2024-01-24 14:44 ` Ihor Radchenko
2024-01-24 14:47 ` João Távora
2024-01-24 15:28 ` Emanuel Berg
2024-01-24 16:30 ` Ihor Radchenko
2024-01-24 16:34 ` Emanuel Berg
2024-01-25 9:06 ` Po Lu
2024-01-25 9:55 ` Alfred M. Szmidt
2024-01-25 10:38 ` Eli Zaretskii
2024-01-25 11:29 ` Po Lu
2024-01-25 12:04 ` Emanuel Berg
2024-01-25 13:32 ` Po Lu
2024-01-25 14:08 ` Emanuel Berg
2024-01-25 13:19 ` Alfred M. Szmidt
2024-01-25 13:43 ` Emanuel Berg
2024-01-25 14:31 ` Eli Zaretskii
2024-01-25 15:02 ` Emanuel Berg
2024-01-25 15:29 ` Eli Zaretskii
2024-01-25 15:33 ` Alfred M. Szmidt
2024-01-25 15:50 ` Eli Zaretskii
2024-01-25 16:01 ` Alfred M. Szmidt
2024-01-25 16:13 ` Eli Zaretskii
2024-01-25 15:40 ` Emanuel Berg
2024-01-25 10:30 ` Eli Zaretskii
2024-01-25 11:27 ` Emanuel Berg
2024-01-24 12:15 ` Alan Mackenzie
2024-01-24 12:28 ` Emanuel Berg
2024-01-25 9:10 ` Po Lu
2024-01-25 11:56 ` Emanuel Berg
2024-01-25 13:21 ` Po Lu
2024-01-25 13:56 ` Emanuel Berg
2024-01-25 23:32 ` Stefan Kangas
2024-01-20 3:39 ` Richard Stallman
2024-01-23 18:10 ` Stefan Monnier via Emacs development discussions.
2024-01-24 4:49 ` JD Smith
2024-01-24 9:45 ` Stefan Kangas
2024-01-24 15:29 ` JD Smith
2024-01-24 15:55 ` Stefan Monnier
2024-01-24 16:02 ` Stefan Monnier
2024-01-24 16:20 ` JD Smith
2024-01-24 17:08 ` Stefan Monnier
2024-01-24 16:35 ` [External] : " Drew Adams
2024-01-24 16:30 ` Drew Adams
2024-02-01 8:56 ` Madhu
2024-02-01 22:46 ` Emanuel Berg
2024-01-25 3:16 ` Madhu
2024-01-25 13:57 ` Stefan Monnier
2024-01-25 15:17 ` JD Smith
2024-01-25 15:37 ` JD Smith
2024-01-25 15:44 ` Alfred M. Szmidt
2024-01-25 16:00 ` JD Smith
2024-01-25 16:05 ` Stefan Monnier
2024-01-25 16:12 ` Alfred M. Szmidt
2024-01-25 16:20 ` Stefan Monnier
2024-01-25 16:33 ` JD Smith
2024-01-29 3:19 ` Richard Stallman
2024-01-26 4:30 ` Richard Stallman
2024-01-28 3:06 ` Stefan Monnier via Emacs development discussions.
2024-01-30 3:59 ` Richard Stallman
2024-01-30 13:02 ` Stefan Monnier
2024-02-23 3:04 ` Richard Stallman
2024-01-26 4:30 ` Richard Stallman
2024-01-28 4:16 ` Stefan Monnier via Emacs development discussions.
2024-01-31 3:32 ` Richard Stallman
2024-01-31 13:20 ` Stefan Monnier
2024-02-03 3:32 ` Richard Stallman
2024-02-03 6:09 ` Stefan Monnier
2024-02-03 6:48 ` Emanuel Berg
2024-02-04 4:46 ` Richard Stallman
2024-02-04 14:04 ` Stefan Monnier
2024-02-04 4:46 ` Richard Stallman
2024-02-04 13:58 ` Stefan Monnier
2024-02-13 0:48 ` Stefan Monnier
2024-02-13 2:27 ` Stefan Monnier
2024-02-14 11:16 ` Richard Stallman
2024-02-14 12:45 ` Stefan Monnier
2024-02-22 3:05 ` Richard Stallman
2024-02-22 4:08 ` Stefan Monnier
2024-02-25 3:14 ` Richard Stallman
2024-02-25 15:03 ` Stefan Monnier
2024-02-29 3:50 ` Richard Stallman
2024-02-29 18:07 ` Stefan Monnier
2024-02-29 3:50 ` Richard Stallman
2024-02-13 0:41 ` Stefan Monnier
2024-02-23 3:04 ` Richard Stallman
2024-02-23 13:39 ` Stefan Monnier
2024-02-25 3:16 ` Richard Stallman
2024-02-25 14:57 ` Alfred M. Szmidt
2024-02-25 15:38 ` Stefan Monnier
2024-02-25 16:42 ` Alfred M. Szmidt
2024-02-25 17:13 ` Stefan Monnier
2024-02-25 17:22 ` Alan Mackenzie
2024-02-25 17:46 ` Alfred M. Szmidt
2024-02-25 18:13 ` Stefan Monnier
2024-02-25 17:10 ` Stefan Monnier
2024-02-27 3:11 ` Richard Stallman
2024-01-24 12:39 ` Alan Mackenzie
2024-01-24 14:43 ` Emanuel Berg
2024-01-24 16:25 ` Manuel Giraud via Emacs development discussions.
2024-01-25 14:01 ` Code for cond* - cond*-match, cond*-subpat and backtrack-aliases Alan Mackenzie
2024-01-29 3:19 ` Richard Stallman
2024-01-29 12:16 ` JD Smith
2024-02-01 3:51 ` Richard Stallman
2024-02-01 14:54 ` JD Smith
2024-02-04 4:42 ` Richard Stallman
2024-01-29 3:19 ` Richard Stallman
2024-01-29 8:54 ` Andreas Schwab
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=86a97153-94eb-4df4-b135-4127d2a00057@alphapapa.net \
--to=adam@alphapapa.net \
--cc=acorallo@gnu.org \
--cc=emacs-devel@gnu.org \
--cc=joaotavora@gmail.com \
--cc=rms@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).