GNU bug report logs -
#70597
Problem in pcase-let?
Previous Next
Full log
Message #26 received at 70597 <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
Thank you all for the replies.
Let me just answer the destructuring-bind comment by Stefan (I am answering
to his last email). The previous ones are somewhat answered here as well.
In some sense, yes. I kind of want destructuring-bind. It is, IMHO,
unfortunate that ELisp does not have it and that we don't have
cl-destructuring-bind either; lower level beast than matching, but useful.
As per the pcase-let, I still think that the name and/or its behavior are
confusing because of expectations about how a pattern matcher usually
works. Of course you have the problems with "no matching" but that
semantics can be dealt with separately, without surprising the user (at
least me). And note that this is, IMHO, "surprising".
*(pcase-let (`(foo bar ,x) '(bar foo 42)) x)*
IMHO, this should either return nil or signal an error. With
destructuring-bind* I would write (assuming indifference variables):
*(destructuring-bind* (_ _ x) x)*
All the best
Marco
On Sun, Apr 28, 2024 at 5:22 PM Stefan Monnier <monnier <at> iro.umontreal.ca>
wrote:
> > Pattern matchers do ... pattern matching.
>
> `pcase` is a pattern matcher.
> `pcase-let` is not: it performs "destructuring bindings".
>
> If you want to test if a pattern matches, then you want to use `pcase`
> or `pcase-exhaustive`, and not `pcase-let`.
>
> If you want a "one-branch `pcase-exhaustive` with a let-style notation",
> we could add such a thing of course, but I'd first like to see some
> evidence that it's useful in practice.
>
>
> Stefan
>
>
--
Marco Antoniotti
Somewhere over the Rainbow
[Message part 2 (text/html, inline)]
This bug report was last modified 1 year and 17 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.